diff options
author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2012-07-01 00:16:04 -0300 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2012-07-01 00:16:04 -0300 |
commit | 3d3728f8d87f6c96ab655f7ce4cc5f1793896a12 (patch) | |
tree | 19793a6ddb010413134925395486bf522a4e4bb8 | |
parent | b9dbb7f3dd79d526c12c2a4ff14d76b3c48a3889 (diff) |
Fix convert output
* convert: Silent grep for #endif, handle non-existing #include case.
-rwxr-xr-x | convert | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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" |