diff options
-rw-r--r-- | player/main.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/player/main.c b/player/main.c index afd35d5a0d..2a3b6c62ea 100644 --- a/player/main.c +++ b/player/main.c @@ -149,6 +149,9 @@ void mp_print_version(struct mp_log *log, int always) if (!always) { mp_msg(log, MSGL_V, "Configuration: " CONFIGURATION "\n"); mp_msg(log, MSGL_V, "List of enabled features: %s\n", FULLCONFIG); + #ifdef NDEBUGs + mp_msg(log, MSGL_V, "Built with NDEBUG.\n"); + #endif } } |