diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/boca-submit-run | 2 | ||||
| -rwxr-xr-x | tools/boca-submit-run-aux | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/tools/boca-submit-run b/tools/boca-submit-run index ab1cd57..fab86a6 100755 --- a/tools/boca-submit-run +++ b/tools/boca-submit-run @@ -69,7 +69,7 @@ if [ "$1" == "" ]; then fi if [ -r "$5" ]; then - if [ "$4" != "C" -a "$4" != "C++11" -a "$4" != "Java" -a "$4" != "Python2" -a "$4" != "Python3" ]; then + if [ "$4" != "C" -a "$4" != "C++14" -a "$4" != "Java" -a "$4" != "Python2" -a "$4" != "Python3" ]; then echo "Warning: language name is not standard, be sure it is correct (this is not necessarily an error)" fi diff --git a/tools/boca-submit-run-aux b/tools/boca-submit-run-aux index 0e9c720..c122a0a 100755 --- a/tools/boca-submit-run-aux +++ b/tools/boca-submit-run-aux @@ -87,7 +87,7 @@ if [ "$?" == "0" ]; then # else # echo "$BOCASERVER : run $uniq dateerr $dateerr : error to upload the run, will NOT try again, check details at /tmp/boca-submit.err" cat ${temp}.out > /tmp/boca-submit.err - chmod 400 /tmp/boca-submit.err + chmod 444 /tmp/boca-submit.err # fi rm -f ${temp}.out exit 4 |