harec

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README | LICENSE

commit efffe2481c38b1a6639ae7e046a14498d0483288
parent ed06275ff7d99a4d9a133ab9c789f435d529449e
Author: Eyal Sawady <ecs@d2evs.net>
Date:   Wed, 30 Dec 2020 12:39:34 -0500

build system: fix --enable-rt

Diffstat:
Mconfigure | 5+++--
1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/configure b/configure @@ -1,12 +1,11 @@ #!/bin/sh -e srcdir=${SRCDIR:-$(dirname "$0")} -eval ". $srcdir/config.sh" enable_rt=0 option() { case $1 in - enable-rt) + --enable-rt) enable_rt=1 ;; *) @@ -16,6 +15,8 @@ option() { esac } +eval ". $srcdir/config.sh" + harec() { genrules harec \ src/check.c \