diff options
| author | Bruno Cesar Ribas <brunoribas@gmail.com> | 2018-10-23 11:58:14 +0000 |
|---|---|---|
| committer | Bruno Cesar Ribas <brunoribas@gmail.com> | 2018-10-23 11:58:14 +0000 |
| commit | ee2f72f16c37f96e99bb6b51c01fc88122533b86 (patch) | |
| tree | 2ebe6a70b99277638962d32e8caa81876574e6d1 /tools/boca-submit-log | |
| parent | 8fa580d8a0ef5a9e2455c477a296cb0a537e0ba3 (diff) | |
| parent | b22599392fed08b5e86af140a4508a8892058088 (diff) | |
| download | boca-ee2f72f16c37f96e99bb6b51c01fc88122533b86.tar.gz boca-ee2f72f16c37f96e99bb6b51c01fc88122533b86.zip | |
Merge remote-tracking branch 'origin/develc' into devel
Diffstat (limited to 'tools/boca-submit-log')
| -rw-r--r-- | tools/boca-submit-log | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/boca-submit-log b/tools/boca-submit-log index c852f84..dcbc678 100644 --- a/tools/boca-submit-log +++ b/tools/boca-submit-log @@ -16,7 +16,7 @@ if [ "$BOCASERVER" == "" ]; then fi if [[ ! -e "/root/submissions/code" ]]; then - echo "Machine not enabled to submit logs code is missing" + echo "Machine not enabled to submit logs - code is missing" exit 0 fi |