caveat/crunch_isa.py: introduce header guard

diff --git a/caveat/crunch_isa.py b/caveat/crunch_isa.py
index fd6b211a89fa5a3184019b9d7f58e83d68dc4240..8507bedfc4a061170177d38af00e7eed82fee270 100644 (file)
--- a/caveat/crunch_isa.py
+++ b/caveat/crunch_isa.py
@@ -12,6 +12,8 @@ rf = open('decode_insn.h', 'w')
 ef = open('execute_insn.h', 'w')
 af = open('disasm_insn.h', 'w')
 kf = open('opcodes_attr.h', 'w')
+for fh in (df, rf, ef, af, kf):
+    fh.write("#pragma once\n")
 
 Field = {}
 Opcode = {}