# HG changeset patch
# User HackBot
# Date 1357069041 0
# Node ID 71f55e6005cb569f1908f7cd4df1973e16d99d50
# Parent  92db7698e82688c5f0cfb51f8a7947adb7d7da89
<shachaf> mkdir -p run/bin/; cp bin/run run/bin/

diff -r 92db7698e826 -r 71f55e6005cb run/bin/run
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/run/bin/run	Tue Jan 01 19:37:21 2013 +0000
@@ -0,0 +1,2 @@
+#!/bin/sh
+bash -c "$@"