# HG changeset patch # User HackBot # Date 1458903011 0 # Node ID e51edd3df7ff5fe21a68786a52cea53edcfce66a # Parent a24922a010452285a95bddddc5f689895b19f0d0 ` sed -i -e \'s|s/bf|s/.*bf|\' ibin/bf diff -r a24922a01045 -r e51edd3df7ff ibin/bf --- a/ibin/bf Fri Mar 25 10:49:15 2016 +0000 +++ b/ibin/bf Fri Mar 25 10:50:11 2016 +0000 @@ -2,7 +2,7 @@ . lib/interp # Get the bitwidth from the command -BW=`echo "$I_CMD" | sed 's/bf//'` +BW=`echo "$I_CMD" | sed 's/.*bf//'` if [ "$BW" = "" ] ; then BW=8 ; fi interp_file ./interps/egobf/src/egobfi$BW