Remote GDB: Turn on remote gdb in SE mode.
[gem5.git] / src / base / SConscript
index 6fc140145216f158e7e7793bcf7fd30f52ab30c7..ca68bfb60946face16682c431e5706e4f140222e 100644 (file)
@@ -57,6 +57,8 @@ Source('circlebuf.cc')
 Source('cprintf.cc')
 Source('crc.cc')
 Source('fast_alloc.cc')
+if env['USE_FENV']:
+    Source('fenv.c')
 Source('fifo_buffer.cc')
 Source('hostinfo.cc')
 Source('hybrid_pred.cc')
@@ -97,3 +99,5 @@ Source('stats/visit.cc')
 if env['USE_MYSQL']:
     Source('mysql.cc')
     Source('stats/mysql.cc')
+
+PySource('m5', 'traceflags.py')