diff --git a/gen_determineargs.sh b/gen_determineargs.sh
index af7f52e..f7e9361 100644
--- a/gen_determineargs.sh
+++ b/gen_determineargs.sh
@@ -16,6 +16,11 @@ get_KV() {
 }
 
 determine_real_args() {
+	if [ "${CMD_DEBUGFILE}" != "" ]
+	then
+		DEBUGFILE="${CMD_DEBUGFILE}"
+	fi
+
 	if [ "${CMD_MAKEOPTS}" != "" ]
 	then
 		MAKEOPTS="${CMD_MAKEOPTS}"