diff options
| author | Bruno Ribas <brunoribas@gmail.com> | 2020-10-30 15:37:59 +0000 |
|---|---|---|
| committer | Bruno Ribas <brunoribas@gmail.com> | 2020-10-30 15:37:59 +0000 |
| commit | f6106f5227019476e498fb987bb5512b7cdd162e (patch) | |
| tree | df9e951dde7eb0ccdf9254b533fe244405f6f1d3 | |
| parent | 6b2aa24a9d0b8fdead344f6bd8936e381400eab1 (diff) | |
| parent | a6bcb006677f6572eed56d6ae8a194466c426644 (diff) | |
| download | boca-f6106f5227019476e498fb987bb5512b7cdd162e.tar.gz boca-f6106f5227019476e498fb987bb5512b7cdd162e.zip | |
Merge remote-tracking branch 'origin/master' into devel
| -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` |