1 files changed, 3 insertions, 0 deletions
diff --git a/player/main.c b/player/main.c
index fa00f0a463..cee9458470 100644
--- a/player/main.c
+++ b/player/main.c
@@ -147,7 +147,10 @@ void mp_print_version(struct mp_log *log, int always)
     mp_msg(log, v, "\n");
     // Only in verbose mode.
     if (!always) {
+#if HAVE_GPL
+        // Possibly GPL due to 0810e42750fb2e2e0d602388cef1b8ea8015d935.
         mp_msg(log, MSGL_V, "Configuration: " CONFIGURATION "\n");
+#endif
         mp_msg(log, MSGL_V, "List of enabled features: %s\n", FULLCONFIG);
     }
 }