X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=run.sh;h=8eaeb3d48e5a974cd778229623fb9eff2fd8c3ed;hp=9fc6f8925aa867d51afa2d602185b0f3975e9352;hb=d8ca702e1a120bacb2d129242f72323d8afd129b;hpb=3d3eb15b67956341e22288081ef887a281ed49e1

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