Don't launch gdb if Trace is redirected to a file (avoid empty trace when mono stuff crashes)

1 files changed, 2 insertions, 0 deletions

diff --git a/src/main.c b/src/main.c
index 66209f04..6a94e303 100755
--- a/src/main.c
+++ b/src/main.c
@@ -695,6 +695,8 @@ int main(int argc, const char **argv, const char **env) {
         PrintHelp();
         return 1;
     }
+    if(argc>1 && !strcmp(argv[1], "/usr/bin/gdb") && getenv("BOX64_TRACE_FILE"))
+        exit(0);
 
     // init random seed
     srandom(time(NULL));