view ibin/bf32 @ 1219:92db7698e826

<elliott> echo "#!/bin/sh" >bin/run; echo \'bash -c "$@"\' >>bin/run; chmod +x bin/run
author HackBot
date Tue, 01 Jan 2013 19:35:36 +0000
parents 33a6019d8e99
children 77ae80f1894d
line wrap: on
line source

#!/bin/sh
. lib/interp

# Get the bitwidth from the command
BW=`echo "$CMD" | sed 's/bf//'`
if [ "$BW" = "" ] ; then BW=8 ; fi

interp_file ./interps/egobf/src/egobfi$BW