diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/make.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/make.sh b/scripts/make.sh index e4333ba2..5b2d5d81 100755 --- a/scripts/make.sh +++ b/scripts/make.sh @@ -47,7 +47,7 @@ echo "Generate headers from toys/*/*.c..." mkdir -p generated/unstripped -if isnewer generated/Config.in toys +if isnewer generated/Config.in toys || isnewer generated/Config.in Config.in then echo "Extract configuration information from toys/*.c files..." scripts/genconfig.sh |