# HG changeset patch
# User HackBot
# Date 1457979442 0
# Node ID b1b9a2c7a4f7486343c24ea489aecc0e12a261d3
# Parent  f85e360397fe03c058edbcc6c6f4e904a8d51165
<shachaf> mkx bin/makelist//file="bin/$1"; shift; cp bin/emptylist "$file"; for n in "$@"; do echo "$n" >> "$file"; done

diff -r f85e360397fe -r b1b9a2c7a4f7 bin/makelist
--- a/bin/makelist	Mon Mar 14 18:16:08 2016 +0000
+++ b/bin/makelist	Mon Mar 14 18:17:22 2016 +0000
@@ -1,1 +1,1 @@
-cp bin/emptylist bin/"$1"
+file="bin/$1"; shift; cp bin/emptylist "$file"; for n in "$@"; do echo "$n" >> "$file"; done