# HG changeset patch
# User HackBot
# Date 1362100561 0
# Node ID adf245d51bd04f5bf17a6b5e6c5a822eb333c2e3
# Parent  2734c1c779b36a2224106abb5e6fdf7a73d4974b
<shachaf> sed -i \'s/^/basename "$0"; /\' bin/emptylist

diff -r 2734c1c779b3 -r adf245d51bd0 bin/emptylist
--- a/bin/emptylist	Thu Feb 28 04:38:57 2013 +0000
+++ b/bin/emptylist	Fri Mar 01 01:16:01 2013 +0000
@@ -1,1 +1,1 @@
-tail -n+2 "$0" | xargs; exit
+basename "$0"; tail -n+2 "$0" | xargs; exit