From 990da6d3637da3eafb0f9a71bc9e26e006e82195 Mon Sep 17 00:00:00 2001
From: Dan Halbert <halbert@halwitz.org>
Date: Sat, 19 May 2018 01:01:37 -0400
Subject: [PATCH] wasn't always clearing boot_output_file

---
 main.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/main.c b/main.c
index 24f27438c9..4402ebe328 100644
--- a/main.c
+++ b/main.c
@@ -329,8 +329,8 @@ int __attribute__((used)) main(void) {
         if (!skip_boot_output) {
             f_close(boot_output_file);
             filesystem_flush();
-            boot_output_file = NULL;
         }
+        boot_output_file = NULL;
         #endif
 
         // Reset to remove any state that boot.py setup. It should only be used to