# HG changeset patch
# User HackBot
# Date 1468493586 0
# Node ID ea53c45c49aadf48266521c287afc3c8973f159a
# Parent  9ee9c8f547d6efee29c1793072b77fbdf02476e3
<shachaf> sled bin/makelist//s/.\\{13\\}/name="$1"; file="bin\\/$name"; makelistlist "$name"/

diff -r 9ee9c8f547d6 -r ea53c45c49aa bin/makelist
--- a/bin/makelist	Thu Jul 14 10:50:08 2016 +0000
+++ b/bin/makelist	Thu Jul 14 10:53:06 2016 +0000
@@ -1,1 +1,1 @@
-file="bin/$1"; shift; cp bin/emptylist "$file"; for n in "$@"; do echo "$n" >> "$file"; done
+name="$1"; file="bin/$name"; makelistlist "$name"; shift; cp bin/emptylist "$file"; for n in "$@"; do echo "$n" >> "$file"; done