diff options
| author | cassiopc <cassiopc@gmail.com> | 2019-05-28 05:29:06 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-05-28 05:29:06 +0000 |
| commit | a6bcb006677f6572eed56d6ae8a194466c426644 (patch) | |
| tree | aacbdb1dda9a953b804eeb0176d625c9c762dba3 /doc/problemexamples | |
| parent | 897384ab2441da9c5d8c595cf65987fa6f027f0f (diff) | |
| download | boca-a6bcb006677f6572eed56d6ae8a194466c426644.tar.gz boca-a6bcb006677f6572eed56d6ae8a194466c426644.zip | |
fix if of zip as reported ('or' but was 'and')
Diffstat (limited to 'doc/problemexamples')
| -rw-r--r-- | doc/problemexamples/problemtemplate/compile/java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/problemexamples/problemtemplate/compile/java b/doc/problemexamples/problemtemplate/compile/java index 18f4d3e..0670dc6 100644 --- a/doc/problemexamples/problemtemplate/compile/java +++ b/doc/problemexamples/problemtemplate/compile/java @@ -65,7 +65,7 @@ if [ "$bocau" == "" -o "$bocag" == "" ]; then fi mkdir -p src -if [ "${name##*.}" == "zip" -a "${name##*.}" == "ZIP" ]; then +if [ "${name##*.}" == "zip" -o "${name##*.}" == "ZIP" ]; then unzip "$name" -d src if [ "${name##*.}" == "zip" ]; then name=`basename $name .zip` |