diff options
| author | Cassio de Campos <cassiopc@gmail.com> | 2017-08-11 17:15:05 +0000 |
|---|---|---|
| committer | Cassio de Campos <cassiopc@gmail.com> | 2017-08-11 17:15:05 +0000 |
| commit | 315bdec3054bbf9cf35b04ca2f6840d481fac581 (patch) | |
| tree | 6507317e97c9257d2e7bb4640a88441626171b14 | |
| parent | d6fed80358d6d8b24f81055e8ea0ac7ed863978d (diff) | |
| download | boca-315bdec3054bbf9cf35b04ca2f6840d481fac581.tar.gz boca-315bdec3054bbf9cf35b04ca2f6840d481fac581.zip | |
extra info about language
| -rwxr-xr-x | tools/boca-submit-run | 14 |
1 files changed, 9 insertions, 5 deletions
diff --git a/tools/boca-submit-run b/tools/boca-submit-run index b746a29..057db13 100755 --- a/tools/boca-submit-run +++ b/tools/boca-submit-run @@ -69,12 +69,16 @@ if [ "$1" == "" ]; then fi if [ -r "$5" ]; then - nom=`echo -n "$5" | perl -MURI::Escape -lne 'print uri_escape($_)'` - for BOCASERVER in `echo $BOCASERVERS | tr ';' ' '`; do - $runroot "$BOCASERVER" "$1" "$2" "$3" "$4" "`basename $5`" "$5" - done + if [ "$4" != "C" -a "$4" != "C++11" -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 an error, it might be ok)" + fi + + nom=`echo -n "$5" | perl -MURI::Escape -lne 'print uri_escape($_)'` + for BOCASERVER in `echo $BOCASERVERS | tr ';' ' '`; do + $runroot "$BOCASERVER" "$1" "$2" "$3" "$4" "`basename $5`" "$5" + done else - echo "file $5 not found/readable" + echo "file $5 not found/readable" fi fi |