projects / model-checker-benchmarks.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ef26df7) | patch
run.sh: set Mac OSX DYLD_LIBRARY_PATH
authorBrian Norris <banorris@uci.edu>
Tue, 13 Aug 2013 22:33:36 +0000 (15:33 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 13 Aug 2013 22:33:36 +0000 (15:33 -0700)
commit69d1985b2a13f7f53fd717c094641a795b9c0410
tree32d36d42215e1eebbeb0468fd52849510e60fbbftree | snapshot
parentef26df7f65900c9558c2882e5a105cdc6d438820commit | diff
run.sh: set Mac OSX DYLD_LIBRARY_PATH

DYLD_LIBRARY_PATH is the Mac OSX equivalent of Unix LD_LIBRARY_PATH.
run.sh diff | blob | history
C++11 memory model checker benchmarks