changeset 3352:5c2946301dbb

<shachaf> cp bin/{empty,erf}list
author HackBot
date Fri, 02 Aug 2013 01:15:57 +0000
parents 170faed9471d
children b0e006e4c900
files bin/erflist
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/bin/erflist	Fri Aug 02 01:15:57 2013 +0000
@@ -0,0 +1,1 @@
+echo -n "$(basename "$0")${@:+ }$@: "; tail -n+2 "$0" | xargs; exit