summaryrefslogtreecommitdiff
path: root/convert
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2012-02-25 22:34:34 +0000
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2012-02-25 22:34:34 +0000
commited98412b21cd2afc8238f3d3da6c2d199846fe86 (patch)
tree795ca45407b80f73a79f159fb41a4f1f676b38a5 /convert
dde_net with Linux version 2.6.29.6
Diffstat (limited to 'convert')
-rwxr-xr-xconvert6
1 files changed, 6 insertions, 0 deletions
diff --git a/convert b/convert
new file mode 100755
index 000000000..52d8d21fe
--- /dev/null
+++ b/convert
@@ -0,0 +1,6 @@
+#!/bin/bash
+N=$(grep -n "#include" "$1" | tail -n 1 | cut -d : -f 1)
+[ -n "$N" ] || N=0
+head -n $N "$1"
+echo "#include <ddekit/timer.h>"
+tail -n +$(($N+1)) "$1"