X-Git-Url: http://git.thejh.net/?p=libjh.git;a=blobdiff_plain;f=compile.sh;h=64c148da8d8f7a23491a634311164479bf0c3cf6;hp=756af2b55c0e218fc98afac1a4bf59e0f85d5a5c;hb=db23824f0c7b41e3cdbf74b3cf80acf2c65f5bda;hpb=ba887c5b9cbc2014cc1be9053169e694d2176657;ds=sidebyside

diff --git a/compile.sh b/compile.sh
index 756af2b..64c148d 100755
--- a/compile.sh
+++ b/compile.sh
@@ -2,7 +2,6 @@
 # YES, THIS NEEDS BASH, NOT /bin/sh (e.g. for <<<).
 
 # Copyright (2013) Jann Horn <jann@thejh.net>
-# This code is licensed under the AGPLv3.
 
 # -f                  for files with weird names
 # -u                  for coding mistakes (or against, to be precise)
@@ -34,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 ''
@@ -50,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