annotate bin/bf @ 8948:be5cbf1a3f17

<oerjan> ` hg cat -r 8929 bin/bf >bin/bf
author HackBot
date Thu, 18 Aug 2016 03:13:41 +0000
parents ca947af2d517
children d58a6b17c660
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
8948
be5cbf1a3f17 <oerjan> ` hg cat -r 8929 bin/bf >bin/bf
HackBot
parents: 8947
diff changeset
1 #! /bin/bash
5643
56dcce63901b <tswett> revert
HackBot
parents:
diff changeset
2 [[ $# > 0 ]] || { echo "Run what?"; exit 1; }
56dcce63901b <tswett> revert
HackBot
parents:
diff changeset
3 ci="$*"
8948
be5cbf1a3f17 <oerjan> ` hg cat -r 8929 bin/bf >bin/bf
HackBot
parents: 8947
diff changeset
4 echo -n "${ci#*!}" | /hackenv/interps/egobf/src/egobfi8 <(echo -n "${ci%%!*}")