diff --git a/3rdparty/mmu_man/scripts/dev-perso b/3rdparty/mmu_man/scripts/dev-perso
index 356faf67a6..efaf4b1b57 100755
--- a/3rdparty/mmu_man/scripts/dev-perso
+++ b/3rdparty/mmu_man/scripts/dev-perso
@@ -89,6 +89,7 @@ function dev() {
 		mkdir "$DEVROOT/$1" && touch "$DEVROOT/$1/.profile"
 		# fallback
 	fi
+	export DEVPROJ="$1"
 	if [ ! -d "$DEVROOT/$1" ]; then
 		echo "invalid project name '$1'"
 		return 1