From: Brian Norris <banorris@uci.edu>
Date: Mon, 21 May 2012 04:27:38 +0000 (-0700)
Subject: run.sh: don't touch my run script subramanian
X-Git-Tag: pldi2013~424
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;ds=sidebyside;h=d8ca702e1a120bacb2d129242f72323d8afd129b;p=model-checker.git

run.sh: don't touch my run script subramanian
---

diff --git a/run.sh b/run.sh
index 9fc6f89..8eaeb3d 100755
--- a/run.sh
+++ b/run.sh
@@ -1,3 +1,3 @@
 #!/bin/sh
 export LD_LIBRARY_PATH=.
-gdb ./model
+./model