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