# HG changeset patch
# User HackBot
# Date 1362100598 0
# Node ID a795c96b61cb9f98ec04de49091c6761d1787add
# Parent  3c4dbacc32a3cd2330c6a7f102100189847c8926
<shachaf> sed -i \'s/^/echo -n "$(basename "$0"): "; /\' bin/emptylist

diff -r 3c4dbacc32a3 -r a795c96b61cb bin/emptylist
--- a/bin/emptylist	Fri Mar 01 01:16:12 2013 +0000
+++ b/bin/emptylist	Fri Mar 01 01:16:38 2013 +0000
@@ -1,1 +1,1 @@
-tail -n+2 "$0" | xargs; exit
+echo -n "$(basename "$0"): "; tail -n+2 "$0" | xargs; exit