From db23824f0c7b41e3cdbf74b3cf80acf2c65f5bda Mon Sep 17 00:00:00 2001 From: Jann Horn Date: Sun, 8 Dec 2013 18:16:29 +0100 Subject: [PATCH] fix compile.sh --- compile.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/compile.sh b/compile.sh index 042d710..64c148d 100755 --- a/compile.sh +++ b/compile.sh @@ -33,7 +33,7 @@ for source_file in $(ls|grep '\.c$'); do sed 's|^PUBLIC_FN \(.*\){|KEEPLINE \1;|g' | sed 's|^PUBLIC_CONST |KEEPLINE #define |g' | sed 's|^HEADER |KEEPLINE |g' | - grep '^KEEPLINE' | + (set +e +o pipefail; grep '^KEEPLINE'; exit 0) | sed 's|^KEEPLINE ||g' echo '' @@ -49,9 +49,9 @@ for source_file in $(ls|grep '\.c$'); do echo '#include "../jh.h"' > "gen/realc/$source_name.c" cat "$source_file" | - grep -v '^PUBLIC_CONST ' | + (set +e +o pipefail; grep -v '^PUBLIC_CONST '; exit 0) | sed 's|^PUBLIC_FN ||g' | - grep -v '^HEADER ' | + (set +e +o pipefail; grep -v '^HEADER '; exit 0) | cat >> "gen/realc/$source_name.c" if [ $? -ne 0 ]; then exit 1; fi -- 2.20.1