From 9dc2c0e0d9b2d9ed63de97ba0554c50eb0d863de Mon Sep 17 00:00:00 2001
From: Carl Kittelberger <icedream@icedream.pw>
Date: Mon, 17 Apr 2017 23:31:02 +0200
Subject: [PATCH] Fix name of gmad binary.

This probably should be fixed in the image itself and then reverted on this repository.
---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 2705f3a..56af1b4 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -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'
     }
   }