diff options
| -rw-r--r-- | util/x86/x86_page_tables.go | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/util/x86/x86_page_tables.go b/util/x86/x86_page_tables.go index 22793654f0..2dc0ed36ff 100644 --- a/util/x86/x86_page_tables.go +++ b/util/x86/x86_page_tables.go @@ -23,6 +23,7 @@ import "fmt" import "io" import "log" import "os" +import "path/filepath" import "sort" import "strconv" import "strings" @@ -174,8 +175,13 @@ func (cw *cWriter) WritePageEntry(data interface{}) error { if cw.currentIndex == 0 { if _, err := fmt.Fprint(cw.wr, generatedCodeLicense); err != nil { - return err - } + return err + } + if _, err := fmt.Fprintf(cw.wr, "/* Generated by:\n util/x86/%s %s\n */\n", + filepath.Base(os.Args[0]), + strings.Join(os.Args[1:], " ")); err != nil { + return err + } includes := []string{ "stdint.h", } |