aboutsummaryrefslogtreecommitdiff
path: root/data/gen-resources
diff options
context:
space:
mode:
Diffstat (limited to 'data/gen-resources')
-rwxr-xr-xdata/gen-resources20
1 files changed, 0 insertions, 20 deletions
diff --git a/data/gen-resources b/data/gen-resources
deleted file mode 100755
index 273f7db7..00000000
--- a/data/gen-resources
+++ /dev/null
@@ -1,20 +0,0 @@
-#!/bin/sh
-
-function gen_resource()
-{
- INFILE=$1
- OUTFILE=$2
-
- echo "/*" > $OUTFILE
- echo " * This file was generated from $INFILE" >> $OUTFILE
- echo " * using the following command:" >> $OUTFILE
- echo " * xxd -i $INFILE $OUTFILE" >> $OUTFILE
- echo " *" >> $OUTFILE
- echo " * If you have 'xxd' installed, you can run the script" >> $OUTFILE
- echo " * data/gen-resources to re-create this file." >> $OUTFILE
- echo " */" >> $OUTFILE
- echo >> $OUTFILE
- xxd -i $INFILE >> $OUTFILE
-}
-
-gen_resource data/diffraction.cl src/diffraction.cl.h