From ca976a8a3ccb5384de31ce097167722116c319ff Mon Sep 17 00:00:00 2001
From: Zachary Yedidia <zyedidia@gmail.com>
Date: Fri, 12 Jun 2020 20:54:37 -0400
Subject: [PATCH] Update runtime build script

Ref #1687
---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile b/Makefile
index a0a1417a..de83391d 100644
--- 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/...