1 files changed, 3 insertions, 0 deletions
diff --git a/unix/main.c b/unix/main.c
index 8678a1a4d5..1c53461a79 100644
--- a/unix/main.c
+++ b/unix/main.c
@@ -335,6 +335,9 @@ int main(int argc, char **argv) {
                 a += 1;
             } else if (strcmp(argv[a], "-v") == 0) {
                 mp_verbose_flag++;
+            } else if (strcmp(argv[a], "-O") == 0) {
+                // optimisation; sets __debug__ to False
+                mp_set_debug(false);
             } else {
                 return usage(argv);
             }