# HG changeset patch
# User HackBot
# Date 1471485692 0
# Node ID 90a3b46c51bb1108ee285276302968ca1521236e
# Parent  0620eae1238699fbca24224132af6327a085f8a8
<oerjan> sled bin/bf//2d

diff -r 0620eae12386 -r 90a3b46c51bb bin/bf
--- a/bin/bf	Thu Aug 18 01:59:48 2016 +0000
+++ b/bin/bf	Thu Aug 18 02:01:32 2016 +0000
@@ -1,5 +1,4 @@
 #! /bin/bash
-shopt -u extglob globstar
 [[ $# > 0 ]] || { echo "Run what?"; exit 1; }
 ci="$*"
 echo -n "${ci#*!}" | /hackenv/interps/egobf/src/egobfi8 <(echo -n "${ci%%!*}")