From 716098ec4eb7bee0d398ccec5226a1b1d5192db2 Mon Sep 17 00:00:00 2001 From: Henny022p Date: Sun, 26 Feb 2023 03:56:51 +0100 Subject: [PATCH] fix Jenkinsfile --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index e54bf2fb..e4aba2b1 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -12,7 +12,7 @@ pipeline { sh 'cp /usr/local/etc/roms/tmc.demo.jp.gba baserom_demo_jp.gba' sh 'cp /usr/local/etc/roms/tmc.jp.gba baserom_jp.gba' sh 'cp /usr/local/etc/roms/tmc.eu.gba baserom_eu.gba' - sh 'make setup' + sh 'make tools' } } stage('Build') {