diff options
-rwxr-xr-x | build-toolchain | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/build-toolchain b/build-toolchain index 3c8f94b2..1bca51a9 100755 --- a/build-toolchain +++ b/build-toolchain @@ -164,7 +164,9 @@ fi # first the simple lib cd ../../src/jack/simple -mvn-debian clean package -Dmaven.test.skip=true +# Try to use mvn-debian and if it's not available, try to use mvn +$(basename $(which mvn-debian || which mvn)) \ + clean package -Dmaven.test.skip=true cd .. # then jack |