diff options
Diffstat (limited to 'src/make.bash')
-rwxr-xr-x | src/make.bash | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/make.bash b/src/make.bash index aaee75e46..3668e9204 100755 --- a/src/make.bash +++ b/src/make.bash @@ -76,6 +76,9 @@ do fi done +# Clean old generated file that will cause problems in the build. +rm -f ./pkg/runtime/runtime_defs.go + # Finally! Run the build. echo '# Building C bootstrap tool.' |