# HG changeset patch # User HackBot # Date 1357068936 0 # Node ID 92db7698e82688c5f0cfb51f8a7947adb7d7da89 # Parent 8a0a73a005c14c4239b5dfdb21047c469b680915 echo "#!/bin/sh" >bin/run; echo \'bash -c "$@"\' >>bin/run; chmod +x bin/run diff -r 8a0a73a005c1 -r 92db7698e826 bin/run --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/bin/run Tue Jan 01 19:35:36 2013 +0000 @@ -0,0 +1,2 @@ +#!/bin/sh +bash -c "$@"