diff options
| author | cassio <cassiopc@gmail.com> | 2018-11-08 15:11:19 +0000 |
|---|---|---|
| committer | cassio <cassiopc@gmail.com> | 2018-11-08 15:11:19 +0000 |
| commit | f74c0fdddbdb768a2ec50e9a9f165887cc6f51e1 (patch) | |
| tree | 9b5191077f1a944f44232d1f5cc4e08f078a6668 /tools/boca-submit-run | |
| parent | 336e0c032cc0f9e9547853f814ebffdfd00c5e2d (diff) | |
| download | boca-f74c0fdddbdb768a2ec50e9a9f165887cc6f51e1.tar.gz boca-f74c0fdddbdb768a2ec50e9a9f165887cc6f51e1.zip | |
fix score, submissions and cookies
Diffstat (limited to 'tools/boca-submit-run')
| -rwxr-xr-x | tools/boca-submit-run | 2 |
1 files changed, 1 insertions, 1 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 |