diff --git a/frontend/drivers/platform_psp.c b/frontend/drivers/platform_psp.c
index 4d79dc845e..8d23e92e67 100644
--- a/frontend/drivers/platform_psp.c
+++ b/frontend/drivers/platform_psp.c
@@ -54,8 +54,6 @@ static void frontend_psp_get_environment_settings(int *argc, char *argv[],
 {
    (void)args;
 #ifndef IS_SALAMANDER
-   g_extern.verbosity = true;
-
 #if defined(HAVE_LOGGER)
    logger_init();
 #elif defined(HAVE_FILE_LOGGER)