# HG changeset patch
# User HackBot
# Date 1378918607 0
# Node ID 1252f3467c7d2c68b8d4d32c1d7e97072c6fc6a5
# Parent  0318e0bc854c544f60af3af3ae7708128b1738eb
<oerjan> echo \'exec bash -c "$1"\' >bin/\\`

diff -r 0318e0bc854c -r 1252f3467c7d bin/`
--- a/bin/`	Wed Sep 11 16:55:51 2013 +0000
+++ b/bin/`	Wed Sep 11 16:56:47 2013 +0000
@@ -1,4 +1,1 @@
-exec "$@"
-exec bash -c "$@"
-exec bash -c "$*"
-exec $*
+exec bash -c "$1"