commit 2fe27d2516d45b7e2a6389acba2386a1fad0b3e7 parent 8e12b090df78eeac631a87066b943979f6ae8899 Author: Vincent Forest <vincent.forest@meso-star.com> Date: Thu, 7 Nov 2019 15:31:47 +0100 Fix the schiff build script Diffstat:
| M | schiff/schiff.sh | | | 21 | ++++++++++++++------- |
1 file changed, 14 insertions(+), 7 deletions(-)
diff --git a/schiff/schiff.sh b/schiff/schiff.sh @@ -24,11 +24,6 @@ if [ $# -lt 2 ]; then exit 1 fi -if [ ! -f "$2/schiff_pretty_results.sh" ]; then - echo "Cannot found $2/schiff_pretty_results.sh script." - exit 1 -fi - if [ ! -f "./downloads/Schiff-$1-GNU-Linux64.tar.gz" ]; then echo "Cannot find .//downloads/Schiff-$1-GNU-Linux64.tar.gz" exit 1 @@ -62,8 +57,20 @@ echo "" # Copy the post-process script ################################################################################ tput bold; echo ">>> Schiff Post-Processes"; tput sgr0 -echo "RSync $2/schiff_pretty_results.sh" -rsync $2/schiff_pretty_results.sh "./downloads/" +do_something=0 +if [ ! -f "./downloads/schiff_pretty_results.sh" ]; then + echo "RSync $2/schiff_pretty_results.sh" + if [ ! -f "$2/schiff_pretty_results.sh" ]; then + echo "Cannot found $2/schiff_pretty_results.sh script." + exit 1 + fi + rsync $2/schiff_pretty_results.sh "./downloads/" +fi + +if [ $do_something == 0 ]; then + echo "Nothing to do" +fi + echo "" ################################################################################