From 228b6dd031a9e322490e1f92975ace9f86dcff02 Mon Sep 17 00:00:00 2001
From: Gary Talent <gary@drinkingtea.net>
Date: Sat, 13 Jun 2020 04:24:49 -0500
Subject: [PATCH] [nostalgia] Fix DEVKITPRO bin paths for Jenkins

---
 jenkins/gba/Jenkinsfile | 1 +
 scripts/gba-pkg         | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/jenkins/gba/Jenkinsfile b/jenkins/gba/Jenkinsfile
index d0b47f71..1ccdd13f 100644
--- a/jenkins/gba/Jenkinsfile
+++ b/jenkins/gba/Jenkinsfile
@@ -3,6 +3,7 @@ pipeline {
 		label 'gba'
 	}
 	environment {
+		DEVKITPRO = '/opt/devkitpro'
 		DEVKITARM = '/opt/devkitpro/devkitARM'
 	}
 	stages {
diff --git a/scripts/gba-pkg b/scripts/gba-pkg
index ae77a813..b00f9bf9 100755
--- a/scripts/gba-pkg
+++ b/scripts/gba-pkg
@@ -3,7 +3,7 @@
 set -e
 
 BIN=./dist/$(cat .current_build)/bin/
-PATH=$BIN:${DEVKITARM}/bin/:$PATH
+PATH=$BIN:${DEVKITPRO}/tools/bin/:${DEVKITARM}/bin/:$PATH
 NOSTALGIA_BIN=build/gba-*/src/nostalgia/player/nostalgia.bin
 NOSTALGIA_MEDIA=nostalgia_media.oxfs
 NOSTALGIA_PROJECT=sample_project