diff options
Diffstat (limited to 'scripts/make.sh')
-rwxr-xr-x | scripts/make.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/make.sh b/scripts/make.sh index 6b853840..57928471 100755 --- a/scripts/make.sh +++ b/scripts/make.sh @@ -182,6 +182,7 @@ make_flagsh() else $SED '/USE_.*([^)]*)$/s/$/ __VA_ARGS__/' generated/config.h fi + echo '#include "lib/toyflags.h"' cat generated/newtoys.h # Run result through preprocessor, glue together " " gaps leftover from USE |