diff options
| -rwxr-xr-x | reproduce/software/bash/configure.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/reproduce/software/bash/configure.sh b/reproduce/software/bash/configure.sh index c0f8025..8cdd744 100755 --- a/reproduce/software/bash/configure.sh +++ b/reproduce/software/bash/configure.sh @@ -1207,7 +1207,7 @@ else fi .local/bin/env -i HOME=$bdir \ .local/bin/make -f reproduce/software/make/high-level.mk \ - sys_library_path=$sys_library_path + sys_library_path=$sys_library_path \ rpath_command=$rpath_command \ static_build=$static_build \ numthreads=$numthreads \ |