# HG changeset patch # User HackBot # Date 1458902898 0 # Node ID 77ae80f1894db01b6ca4fb4a92cc713033edb3fa # Parent f9acf7bb6b24974629729bd8b530b05f495fd049 ` (cd ibin; rm bf8 bf16 bf32; ln -s bf bf8; ln -s bf bf16; ln -s bf bf32) diff -r f9acf7bb6b24 -r 77ae80f1894d ibin/bf16 --- a/ibin/bf16 Fri Mar 25 01:58:44 2016 +0000 +++ b/ibin/bf16 Fri Mar 25 10:48:18 2016 +0000 @@ -1,8 +1,1 @@ -#!/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 +bf \ No newline at end of file diff -r f9acf7bb6b24 -r 77ae80f1894d ibin/bf32 --- a/ibin/bf32 Fri Mar 25 01:58:44 2016 +0000 +++ b/ibin/bf32 Fri Mar 25 10:48:18 2016 +0000 @@ -1,8 +1,1 @@ -#!/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 +bf \ No newline at end of file diff -r f9acf7bb6b24 -r 77ae80f1894d ibin/bf8 --- a/ibin/bf8 Fri Mar 25 01:58:44 2016 +0000 +++ b/ibin/bf8 Fri Mar 25 10:48:18 2016 +0000 @@ -1,8 +1,1 @@ -#!/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 +bf \ No newline at end of file