diff options
author | dreamscached | 2023-03-03 09:37:45 +0100 |
---|---|---|
committer | dreamscached | 2023-03-03 09:37:45 +0100 |
commit | e8bd89a86cedc4de03cf6ee01aaf7cbd5f7bbd32 (patch) | |
tree | cb98f1fea3b83f2d54f4d8618ad53b975f01fa95 | |
parent | f38a900a232ac3b4e200e21080cb7f7e804f38a7 (diff) | |
download | aur-e8bd89a86cedc4de03cf6ee01aaf7cbd5f7bbd32.tar.gz |
Add MavenUtil patch so it respects Maven home
-rw-r--r-- | MavenUtil.patch | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/MavenUtil.patch b/MavenUtil.patch new file mode 100644 index 000000000000..d7e9ec29ccc3 --- /dev/null +++ b/MavenUtil.patch @@ -0,0 +1,3 @@ +171a172,173 +> if (System.getenv("MAVEN_USER_HOME") != null) +> return Paths.get(System.getenv("MAVEN_USER_HOME"), "repository"); |