# HG changeset patch
# User HackBot
# Date 1362100959 0
# Node ID 792eefa46b1200dbb0032529ad388aae1f90e291
# Parent  8c4e3c22476e759929746acd40485a08551b02be
<shachaf> sed -i \'1s/^/echo -n "$(basename "$0"): "; /\' bin/smlist

diff -r 8c4e3c22476e -r 792eefa46b12 bin/smlist
--- a/bin/smlist	Fri Mar 01 01:21:26 2013 +0000
+++ b/bin/smlist	Fri Mar 01 01:22:39 2013 +0000
@@ -1,4 +1,4 @@
-tail -n+2 "$0" | xargs; exit
+echo -n "$(basename "$0"): "; tail -n+2 "$0" | xargs; exit
 shachaf
 monqy
 elliott