# HG changeset patch
# User HackBot
# Date 1362719657 0
# Node ID eb8d28337e9459ca27d26675238ce5a0ffc2e78f
# Parent  a69f205ae1854ebe9e9a4899dbbd490d73dbe96a
<shachaf> echo \'cp bin/emptylist bin/"$1"\' > bin/makelist

diff -r a69f205ae185 -r eb8d28337e94 bin/makelist
--- a/bin/makelist	Fri Mar 08 03:52:13 2013 +0000
+++ b/bin/makelist	Fri Mar 08 05:14:17 2013 +0000
@@ -1,1 +1,1 @@
-echo 'tail -n +2 $0 | xargs echo; exit 0' >$1;chmod +x $1
+cp bin/emptylist bin/"$1"