Fix name of gmad binary.

This probably should be fixed in the image itself and then reverted on this repository.
pull/3/head
Icedream 2017-04-17 23:31:02 +02:00
parent 814021f356
commit 6737e3072b
Signed by: icedream
GPG Key ID: 1573F6D8EFE4D0CF
1 changed files with 1 additions and 1 deletions

2
Jenkinsfile vendored
View File

@ -2,7 +2,7 @@ node('linux && amd64 && docker') {
docker.image('icedream/gmad:latest').inside {
ansiColor('xterm') {
checkout scm
sh 'gmad create -folder . -out icedream-tauntmenu.gma'
sh 'gmad_linux create -folder . -out icedream-tauntmenu.gma'
archive '*.gma'
}
}