1 files changed, 9 insertions, 0 deletions
diff --git a/arch/SConscript b/arch/SConscript
index 142bd763b..b4b7a1ddb 100644
--- a/arch/SConscript
+++ b/arch/SConscript
@@ -46,6 +46,15 @@ sources = []
 # List of headers to generate
 isa_switch_hdrs = Split('''
 	isa_traits.hh
+	tlb.hh
+	process.hh
+	aout_machdep.h
+	ecoff_machdep.h
+	arguments.hh
+	stacktrace.hh
+	vtophys.hh
+	faults.hh
+	ev5.hh
         ''')
 
 # Generate the header.  target[0] is the full path of the output