aboutsummaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2018-12-03 18:00:43 +0000
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2018-12-03 18:03:02 +0000
commita2db1f07f9d2bda6bed34fb359c44d6299cbbf5e (patch)
tree2b81752d2836e5bbda616730b9a1965c986310b4 /configure
parent6384e3a5507a71412577ed0c985eb6e48aec4a2d (diff)
Added rpath in basic dependencies, remove input if download fails
Until now, we weren't including the `rpath' linking options to the basic dependencies. They are now added. Also, when the download of an input file fails for any reason, an empty file won't be replaced there any more.
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure1
1 files changed, 1 insertions, 0 deletions
diff --git a/configure b/configure
index 1c27c16..2dfd3d3 100755
--- a/configure
+++ b/configure
@@ -643,6 +643,7 @@ else numthreads=2;
fi
make -f reproduce/src/make/dependencies-basic.mk \
static_build=$static_build \
+ rpath_command=$rpath_command \
needs_ldl=$needs_ldl \
#-j$numthreads