# HG changeset patch
# User HackBot
# Date 1486741714 0
# Node ID dcad47ed6915052927232519dc6c1b770ed7e607
# Parent  8d016011ec170a0b1459ce8a78316e6c97b85022
<oerjan> sled bin/makelist//s,^,if [[ "$1" == *" "* ]]; then exec makelist $@; fi;,

diff -r 8d016011ec17 -r dcad47ed6915 bin/makelist
--- a/bin/makelist	Fri Feb 10 15:46:50 2017 +0000
+++ b/bin/makelist	Fri Feb 10 15:48:34 2017 +0000
@@ -1,1 +1,1 @@
-name="$1"; file="bin/$name"; makelistlist "$name"; shift; cp bin/emptylist "$file"; for n in "$@"; do echo "$n" >> "$file"; done
+if [[ "$1" == *" "* ]]; then exec makelist $@; fi;name="$1"; file="bin/$name"; makelistlist "$name"; shift; cp bin/emptylist "$file"; for n in "$@"; do echo "$n" >> "$file"; done