freesect-0.6: freesect.sh
#!/bin/sh # RTSOPTS (do not remove this comment; the next line is automatically edited) rtsopts="+RTS -K96m -RTS" # BINPATHNAME (do not remove comment, or change the following two lines) binpathname=/media/ramdisk/freesect #binpathname=./dist/build/freesect/freesect $binpathname \ $rtsopts \ $3 \ $1