summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xconvert4
1 files changed, 4 insertions, 0 deletions
diff --git a/convert b/convert
index 52d8d21fe..66ee09fce 100755
--- a/convert
+++ b/convert
@@ -1,5 +1,9 @@
#!/bin/bash
N=$(grep -n "#include" "$1" | tail -n 1 | cut -d : -f 1)
+while sed -ne "$(($N+1))p" "$1" | grep "^#endif"
+do
+ N=$(($N + 1))
+done
[ -n "$N" ] || N=0
head -n $N "$1"
echo "#include <ddekit/timer.h>"