diff options
author | Ulrich Germann <Ulrich.Germann@gmail.com> | 2016-04-15 18:38:47 +0300 |
---|---|---|
committer | Ulrich Germann <Ulrich.Germann@gmail.com> | 2016-04-15 18:38:47 +0300 |
commit | 672a8178d0b6b883f0fcc9ef75acb76e79daaf76 (patch) | |
tree | 5d25f1599548202bd5cb7026726802cff9d6057b /run-regtests.sh | |
parent | 35c4abd874ea7c703ea2e0ab9a94745211f0d26e (diff) |
Version-specific location for dependency irstlm.
Diffstat (limited to 'run-regtests.sh')
-rwxr-xr-x | run-regtests.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/run-regtests.sh b/run-regtests.sh index 843ee3a94..f2c02aaa8 100755 --- a/run-regtests.sh +++ b/run-regtests.sh @@ -13,7 +13,7 @@ eval set -- "$args" noserver=false; full=false; j=$(getconf _NPROCESSORS_ONLN) -irstlm=$opt +irstlm=$opt/irstlm-5.80.08 boost=$opt cmph=$opt xmlrpc=--with-xmlrpc-c\=$opt |