From cc97446ca588d15e67cc126035802e183fab70a9 Mon Sep 17 00:00:00 2001
From: Damien George <damien.p.george@gmail.com>
Date: Mon, 12 May 2014 23:14:52 +0100
Subject: [PATCH] unix: Implement -O option to turn off __debug__ flag.

---
 unix/main.c | 3 +++
 1 file changed, 3 insertions(+)

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);
             }