X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=silo%2Fcompile.sh;h=f046c00d209d919aa0575bb38c73ebe2b46dd5da;hb=1e93c21f464a85a4303aa3bdf6df9f0cb4069554;hp=f82223cecb743cfb34c13d3340e3e177c72b773f;hpb=d20349ce223e276dbc06268219b397eb1685544c;p=c11concurrency-benchmarks.git

diff --git a/silo/compile.sh b/silo/compile.sh
index f82223c..f046c00 100755
--- a/silo/compile.sh
+++ b/silo/compile.sh
@@ -1,4 +1,6 @@
 #!/bin/bash
+export PATH=`pwd`/..:$PATH
+source ../run
 MODE=perf CHECK_INVARIANTS=1 make -j
 MODE=perf CHECK_INVARIANTS=1 make -j dbtest