diff options
| -rwxr-xr-x | reproduce/analysis/bash/download-multi-try | 2 |
1 files changed, 2 insertions, 0 deletions
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: |