summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2012-07-01 00:16:04 -0300
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2012-07-01 00:16:04 -0300
commit3d3728f8d87f6c96ab655f7ce4cc5f1793896a12 (patch)
tree19793a6ddb010413134925395486bf522a4e4bb8
parentb9dbb7f3dd79d526c12c2a4ff14d76b3c48a3889 (diff)
Fix convert output
* convert: Silent grep for #endif, handle non-existing #include case.
-rwxr-xr-xconvert4
1 files changed, 2 insertions, 2 deletions
diff --git a/convert b/convert
index 66ee09fce..bb82bfe6e 100755
--- a/convert
+++ b/convert
@@ -1,10 +1,10 @@
#!/bin/bash
N=$(grep -n "#include" "$1" | tail -n 1 | cut -d : -f 1)
-while sed -ne "$(($N+1))p" "$1" | grep "^#endif"
+[ -n "$N" ] || N=0
+while sed -ne "$(($N+1))p" "$1" | grep -q "^#endif"
do
N=$(($N + 1))
done
-[ -n "$N" ] || N=0
head -n $N "$1"
echo "#include <ddekit/timer.h>"
tail -n +$(($N+1)) "$1"