diff options
| author | Bruno Cesar Ribas <brunoribas@gmail.com> | 2018-10-24 14:26:43 +0000 |
|---|---|---|
| committer | Bruno Cesar Ribas <brunoribas@gmail.com> | 2018-10-24 14:26:43 +0000 |
| commit | e738d4d893ed15bf5b54e13b2489138a1842c94c (patch) | |
| tree | b8be4da75a4f2e538e32637d9f5b863d091e484d /tools/boca-submit-run | |
| parent | ee2f72f16c37f96e99bb6b51c01fc88122533b86 (diff) | |
| download | boca-e738d4d893ed15bf5b54e13b2489138a1842c94c.tar.gz boca-e738d4d893ed15bf5b54e13b2489138a1842c94c.zip | |
boca-submit-run: Add C++14 and Kotlin
it will not make a warning when the user sends these accepted languages
Signed-off-by: Bruno Cesar Ribas <brunoribas@gmail.com>
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 9de52bd..d2455e2 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" -a "$4" != "Kotlin" ]; then echo "Warning: language name is not standard, be sure it is correct (this is not necessarily an error)" fi |