1 files changed, 10 insertions, 0 deletions
diff --git a/devkitarm.sh b/devkitarm.sh
new file mode 100644
index 000000000000..04f5e843746d
--- /dev/null
+++ b/devkitarm.sh
@@ -0,0 +1,10 @@
+
+# allow per-user override
+if [ -z $DEVKITPRO ]; then
+  export DEVKITPRO=/opt/devkitpro
+fi
+export DEVKITARM=$DEVKITPRO/devkitARM
+
+# add to paths
+export PATH=$PATH:$DEVKITARM/bin
+export MANPATH=$MANPATH:$DEVKITARM/man