]> git.lizzy.rs Git - micro.git/commitdiff
Update runtime build script
authorZachary Yedidia <zyedidia@gmail.com>
Sat, 13 Jun 2020 00:54:37 +0000 (20:54 -0400)
committerZachary Yedidia <zyedidia@gmail.com>
Sat, 13 Jun 2020 00:54:37 +0000 (20:54 -0400)
Ref #1687

Makefile

index a0a1417a6612538f5688b0b2ff422db60fa78a6c..de83391d39c2263c91cd35f1270e0ed4a2270c5d 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -46,6 +46,7 @@ fetch-tags:
 # Builds the runtime
 runtime:
        git submodule update --init
+       rm -f runtime/syntax/*.hdr
        go run runtime/syntax/make_headers.go runtime/syntax
        go build -o tools/bindata ./tools/go-bindata
        tools/bindata -pkg config -nomemcopy -nometadata -o runtime.go runtime/...