diff options
Diffstat (limited to 'data/gen-resources')
-rwxr-xr-x | data/gen-resources | 20 |
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 |