changeset 3745:0318e0bc854c

<oerjan> revert
author HackBot
date Wed, 11 Sep 2013 16:55:51 +0000
parents 581a188e22df
children 1252f3467c7d
files bin/`
diffstat 1 files changed, 4 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/bin/`	Wed Sep 11 16:55:51 2013 +0000
@@ -0,0 +1,4 @@
+exec "$@"
+exec bash -c "$@"
+exec bash -c "$*"
+exec $*