diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-02-01 21:24:00 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-02-01 21:24:00 +0100 |
| commit | 35ed6cf0df743175688b49a4559793cb7f6e9d66 (patch) | |
| tree | 2287830898c4a5af2e72f8a3c6435f4876b000fb /project | |
| parent | 334af0e29a950873a19f958b0e47d847808e8910 (diff) | |
IMPORTANT: reproduce/software/bash renamed to reproduce/software/shell
Until now the shell scripts in the software building phase were in the
`reproduce/software/bash' directory. But given our recent change to a
POSIX-only start, the `configure.sh' shell script (which is the main
component of this directory) is no longer written with Bash.
With this commit, to fix that problem, that directory's name has been
changed to `reproduce/software/shell'.
Diffstat (limited to 'project')
| -rwxr-xr-x | project | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -294,7 +294,7 @@ controlled_env() { # Do requested operation # ---------------------- perms="u+r,u+w,g+r,g+w,o-r,o-w,o-x" -configscript=./reproduce/software/bash/configure.sh +configscript=./reproduce/software/shell/configure.sh case $operation in # Build the project's software. @@ -314,7 +314,7 @@ case $operation in # `reproduce/*/bash' should need executable flags, so we are giving # them executable flags by default. If any other file in your project # needs such flags, add them here. - chmod +x reproduce/software/bash/* reproduce/analysis/bash/* + chmod +x reproduce/software/shell/* reproduce/analysis/bash/* # If the user requested, clean the TeX directory from the extra # (to-be-built) directories that may already be there (and will not |