From: root <root@dw-6.eecs.uci.edu>
Date: Thu, 11 Jul 2019 18:53:22 +0000 (-0700)
Subject: Fix options to let gcc work
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11concurrency-benchmarks.git;a=commitdiff_plain;h=85eef4e2fcd0125c74042b37df91e599da4d8047

Fix options to let gcc work
---

diff --git a/gcc b/gcc
index d18ecea..74d6f07 100755
--- a/gcc
+++ b/gcc
@@ -1,3 +1,3 @@
 #/bin/bash
 
-/usr/local/bin/clang -Xclang -load -Xclang /scratch/llvm-project/build/lib/libCDSPass.so -Wno-unused-command-line-argument $@
\ No newline at end of file
+/usr/local/bin/clang -Xclang -load -Xclang /scratch/llvm-project/build/lib/libCDSPass.so -Wno-unused-command-line-argument -lmodel -L/scratch/fuzzer/random-fuzzer/ $@
\ No newline at end of file