From 3d978570bcf667ce059d675a418cc0c62966813b Mon Sep 17 00:00:00 2001
From: Ciro Santilli <ciro.santilli@gmail.com>
Date: Thu, 13 Sep 2018 12:20:11 +0100
Subject: [PATCH] gem5: M5_OVERRIDE_PY_SOURCE

---
 run | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/run b/run
index 34175cb..eb7796a 100755
--- a/run
+++ b/run
@@ -102,6 +102,8 @@ def main(args, extra_args=None):
         if do_trace:
             gem5_exe_args.append('--debug-flags={}'.format(trace_type))
         extra_env['M5_PATH'] = common.gem5_system_dir
+        # https://stackoverflow.com/questions/52312070/how-to-modify-a-file-under-src-python-and-run-it-without-rebuilding-in-gem5/52312071#52312071
+        extra_env['M5_OVERRIDE_PY_SOURCE'] = 'true'
         cmd = (
             debug_vm +
             [