# HG changeset patch
# User HackBot
# Date 1371599476 0
# Node ID 60043c395e11abf798e247c454d727fd057c189f
# Parent  17b30e4513cf1aff8c39053dc96a5e9924cb6e2f
<shachaf> sed -i \'s/:/${@:+ }$@:/\' bin/smlist

diff -r 17b30e4513cf -r 60043c395e11 bin/smlist
--- a/bin/smlist	Tue Jun 18 11:29:31 2013 +0000
+++ b/bin/smlist	Tue Jun 18 23:51:16 2013 +0000
@@ -1,4 +1,4 @@
-echo -n "$(basename "$0"): "; tail -n+2 "$0" | xargs; exit
+echo -n "$(basename "$0")${@:+ }$@: "; tail -n+2 "$0" | xargs; exit
 shachaf
 monqy
 elliott