diff options
Diffstat (limited to 'jjb/aai/aai-resources.yaml')
| -rw-r--r-- | jjb/aai/aai-resources.yaml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/jjb/aai/aai-resources.yaml b/jjb/aai/aai-resources.yaml index 4d6448aac..e88c0f90c 100644 --- a/jjb/aai/aai-resources.yaml +++ b/jjb/aai/aai-resources.yaml @@ -18,6 +18,7 @@ - 'beijing': branch: 'beijing' mvn-settings: 'aai-resources-settings' + mvn-version: 'mvn35' files: '**' archive-artifacts: '' build-node: ubuntu1604-builder-4c-4g @@ -34,3 +35,4 @@ mvn-settings: 'aai-resources-settings' mvn-goals: 'clean install' mvn-opts: '-Xmx1024m -XX:MaxPermSize=256m' + mvn-version: 'mvn35' |