From d53692170b005c24bcaf73962cb8a13a26b599ef Mon Sep 17 00:00:00 2001 From: Mohammad Akhlaghi Date: Thu, 9 May 2019 16:06:09 +0100 Subject: download-multi-try now starts with a /bin/bash shebang Until now, the `download-multi-try' script assumed GNU Bash features (when comparing the number of attempts at downloading), but it didn't explicitly ask the operating system to be run with Bash. As a result, when weaker shells were used (like the default Debian minimalist `dash' shell), the `>' ("larger than" operator in a math context) is interpreted a redirection and two extra files are created: `1' and `maxcount'! With this commit, we now start this script with `/bin/bash'. Ofcourse, this will assume that the host has GNU Bash installed, but we are also making this assumption in the configure script. So atleast for now, Bash (any version) is a critical dependency of this template anyway. --- reproduce/analysis/bash/download-multi-try | 2 ++ 1 file changed, 2 insertions(+) (limited to 'reproduce/analysis/bash') diff --git a/reproduce/analysis/bash/download-multi-try b/reproduce/analysis/bash/download-multi-try index 1fd7497..03472b3 100755 --- a/reproduce/analysis/bash/download-multi-try +++ b/reproduce/analysis/bash/download-multi-try @@ -1,3 +1,5 @@ +#!/bin/bash +# # Attempt downloading multiple times before crashing whole project. From # the top project directory (for the shebang above), this script must be # run like this: -- cgit v1.2.1