From: Brian Norris <banorris@uci.edu>
Date: Tue, 24 Apr 2012 20:03:43 +0000 (-0700)
Subject: run.sh: add simple 'run' script
X-Git-Tag: pldi2013~503
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=8cc80ac1e6bcacda869efce26b2cc58c7b2a6685;p=model-checker.git

run.sh: add simple 'run' script

Performs the step of setting LD_LIBRARY_PATH for simple runs.
---

diff --git a/run.sh b/run.sh
new file mode 100755
index 0000000..9c7af2f
--- /dev/null
+++ b/run.sh
@@ -0,0 +1,4 @@
+#!/bin/sh
+
+export LD_LIBRARY_PATH=.
+./model