From f74c0fdddbdb768a2ec50e9a9f165887cc6f51e1 Mon Sep 17 00:00:00 2001 From: cassio Date: Thu, 8 Nov 2018 16:11:19 +0100 Subject: fix score, submissions and cookies --- tools/boca-submit-run | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tools/boca-submit-run') 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 -- cgit v1.2.3