diff options
Diffstat (limited to 'reproduce/software/bash/configure.sh')
| -rwxr-xr-x | reproduce/software/bash/configure.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/reproduce/software/bash/configure.sh b/reproduce/software/bash/configure.sh index 5c46496..7ef576a 100755 --- a/reproduce/software/bash/configure.sh +++ b/reproduce/software/bash/configure.sh @@ -1387,9 +1387,9 @@ echo `.local/bin/date` > $finaltarget # The configuration is now complete, we can inform the user on the next # step(s) to take. if [ x$reproducible_paper_group_name = x ]; then - buildcommand="./project make -j8" + buildcommand="./project prepare -j8" else - buildcommand="./project make --group=$reproducible_paper_group_name -j8" + buildcommand="./project prepare --group=$reproducible_paper_group_name -j8" fi cat <<EOF @@ -1397,7 +1397,7 @@ cat <<EOF The project and its environment are configured with no errors. Please run the following command to start. -(Replace '8' with the number of CPU threads) +(Replace '8' with the number of CPU threads on your system) $buildcommand |