# HG changeset patch
# User HackBot
# Date 1371018278 0
# Node ID 1c1bd4bef6f7b9a529358f3910d5d0ffdc47c223
# Parent  89a770529cd0a58d21e131a90506a58205e6097e
<shachaf> sed -i  \'s/:/${@:+ }$@:/\' bin/emptylist

diff -r 89a770529cd0 -r 1c1bd4bef6f7 bin/emptylist
--- a/bin/emptylist	Wed Jun 12 01:56:14 2013 +0000
+++ b/bin/emptylist	Wed Jun 12 06:24:38 2013 +0000
@@ -1,1 +1,1 @@
-echo -n "$(basename "$0"): "; tail -n+2 "$0" | xargs; exit
+echo -n "$(basename "$0")${@:+ }$@: "; tail -n+2 "$0" | xargs; exit