diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-09-09 12:58:18 +0100 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-09-09 12:58:18 +0100 |
commit | 36003b3a5e9e4e10ef12279f6a46c2d6e4f9ec08 (patch) | |
tree | e4004ecfeda7cf1b39209e0b532367f01606439f /reproduce/software/shell/pre-make-build.sh | |
parent | 6ecb670f0a7b56e0aaffffda70925e93e51e6e9e (diff) | |
parent | 11b11e93fbdb29be69a936950438ed1cbea34a11 (diff) |
Imported recent important fixes in Maneage, no conflicts
There weren't any conflicts in this merge.
Diffstat (limited to 'reproduce/software/shell/pre-make-build.sh')
-rwxr-xr-x | reproduce/software/shell/pre-make-build.sh | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/reproduce/software/shell/pre-make-build.sh b/reproduce/software/shell/pre-make-build.sh index a18966f..4e7d6ad 100755 --- a/reproduce/software/shell/pre-make-build.sh +++ b/reproduce/software/shell/pre-make-build.sh @@ -30,11 +30,11 @@ set -e -# Input arguments (the 'IFS's are to allow space in the name). -IFS='"' bdir="$1" -IFS='"' ddir="$2" -IFS='"' downloader="$3" -IFS='"' user_backup_urls="$4" +# Input arguments. +bdir="$1" +ddir="$2" +downloader="$3" +user_backup_urls="$4" |