fix compile.sh
authorJann Horn <jann@thejh.net>
Sun, 8 Dec 2013 17:16:29 +0000 (18:16 +0100)
committerJann Horn <jann@thejh.net>
Sun, 8 Dec 2013 17:16:29 +0000 (18:16 +0100)
compile.sh

index 042d710..64c148d 100755 (executable)
@@ -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' |
   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 ''
   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" |
   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' |
   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
   
   cat >> "gen/realc/$source_name.c"
   if [ $? -ne 0 ]; then exit 1; fi