caveat/make_ecall_tbl.py: introduce header guard

diff --git a/caveat/make_ecall_tbl.py b/caveat/make_ecall_tbl.py
index 6ae34c5bb2e4f065eb276ebdbd09bab950041bcf..9447738ad8a903091eb4061f6aa5129ca35cfcfa 100644 (file)
--- a/caveat/make_ecall_tbl.py
+++ b/caveat/make_ecall_tbl.py
@@ -39,6 +39,7 @@ for line in rv:
         highest = max(num, highest)
 
 en = open('ecall_nums.h', 'w')
+en.write("#pragma once\n")
 
 for name in sorted(enames.keys()):
     en.write('#ifndef __NR_{:s}\n'.format(name))