diff options
Diffstat (limited to 'src/Makefile')
-rw-r--r-- | src/Makefile | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/Makefile b/src/Makefile index eb9df5015..8ad750d74 100644 --- a/src/Makefile +++ b/src/Makefile @@ -54,14 +54,16 @@ build-directory: configure: build-directory @cd build-$(buildname); \ - build=$(build) $(SHELL) ../scripts/Configure-Makefile + build=$(build) $(SHELL) ../scripts/Configure-Makefile; \ + $(SHELL) ../scripts/lookups-Makefile # The "makefile" target forces a rebuild of the makefile (as opposed to # "configure", which doesn't force it). makefile: build-directory @cd build-$(buildname); $(RM_COMMAND) -f Makefile; \ - build=$(build) $(SHELL) ../scripts/Configure-Makefile + build=$(build) $(SHELL) ../scripts/Configure-Makefile; \ + $(SHELL) ../scripts/lookups-Makefile # The installation commands are kept in a separate script, which expects # to be run from inside the build directory. |