GitHub user dongjoon-hyun opened a pull request:
https://github.com/apache/spark/pull/12631
[SPARK-14867][BUILD] Make `build/mvn` to use the downloaded maven if it
exists.
## What changes were proposed in this pull request?
Currently, `build/mvn` provides a convenient option, `--force`, in order to
use the recommended version of maven without changing PATH environment
variable. However, there were two problems.
- `dev/lint-java` does not use the newly installed maven.
```bash
$ ./build/mvn --force clean
$ ./dev/lint-java
Using `mvn` from path: /usr/local/bin/mvn
```
- It's not easy to type `--force` option always.
If '--force' option is used once, we had better prefer the installed maven
recommended by Spark.
This PR makes `build/mvn` check the existence of maven installed by
`--force` option first.
## How was this patch tested?
Manual.
```bash
$ ./build/mvn --force clean
$ ./dev/lint-java
Using `mvn` from path:
/Users/dongjoon/spark/build/apache-maven-3.3.9/bin/mvn
...
$ rm -rf ./build/apache-maven-3.3.9/
$ ./dev/lint-java
Using `mvn` from path: /usr/local/bin/mvn
```
You can merge this pull request into a Git repository by running:
$ git pull https://github.com/dongjoon-hyun/spark SPARK-14867
Alternatively you can review and apply these changes as the patch at:
https://github.com/apache/spark/pull/12631.patch
To close this pull request, make a commit to your master/trunk branch
with (at least) the following in the commit message:
This closes #12631
----
commit 56355fab23ef59b79bbaafa7164bbbb3ca742326
Author: Dongjoon Hyun <[email protected]>
Date: 2016-04-14T08:55:46Z
[SPARK-14867][BUILD] Make `build/mvn` to use the downloaded maven if it
exist.
----
---
If your project is set up for it, you can reply to this email and have your
reply appear on GitHub as well. If your project does not have this feature
enabled and wishes so, or if the feature is enabled but not working, please
contact infrastructure at [email protected] or file a JIRA ticket
with INFRA.
---
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
