diff --git a/frontend/platform/platform_xdk.c b/frontend/platform/platform_xdk.c
index a918425a6b..2380f19996 100644
--- a/frontend/platform/platform_xdk.c
+++ b/frontend/platform/platform_xdk.c
@@ -234,6 +234,7 @@ static void frontend_xdk_get_environment_settings(int *argc, char *argv[],
    }
 #endif
 
+exit:
 #ifndef IS_SALAMANDER
    g_extern.verbosity = original_verbose;
 #endif