diff options
Diffstat (limited to 'make-distribution.sh')
| -rwxr-xr-x | make-distribution.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/make-distribution.sh b/make-distribution.sh index 62c0ba6df7..24418ace26 100755 --- a/make-distribution.sh +++ b/make-distribution.sh @@ -121,7 +121,7 @@ if [ $(command -v git) ]; then fi -if [ ! $(command -v "$MVN") ] ; then +if [ ! "$(command -v "$MVN")" ] ; then echo -e "Could not locate Maven command: '$MVN'." echo -e "Specify the Maven command with the --mvn flag" exit -1; |