Commit 86e18a0d authored by I-Al-Istannen's avatar I-Al-Istannen
Browse files

Fix maven cache repository path

Previously the cache expected "repository" but it was set to
".repository", causing unnecessary maven dependency downloads.
parent 2fae298a
......@@ -40,7 +40,7 @@ gruppen:
script:
- export GRADLE_USER_HOME="$PWD/gradle-cache"
- export MAVEN_OPTS="-Dmaven.repo.local=$PWD/.repository"
- export MAVEN_OPTS="-Dmaven.repo.local=$PWD/repository"
- git clone "https://github.com/$GITHUB_PATH" /compiler-under-test
- /compiler-under-test/build
- ln -s "$PWD" "/mjtest/tests"
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment