diff options
Diffstat (limited to 'libraries')
| -rw-r--r-- | libraries/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/libraries/Makefile b/libraries/Makefile index d7da0c170d..d5d1e82b3e 100644 --- a/libraries/Makefile +++ b/libraries/Makefile @@ -236,7 +236,9 @@ configure: $(foreach SUBDIR,$(SUBDIRS), \ # makes that difficult. ALL_CONFIGURE_FLAGS = \ - $(INSTALL_CONFIGURE_FLAGS) \ + $(INSTALL_DIRS_CONFIGURE_FLAGS) \ + $(USE_STAGE1_CONFIGURE_FLAGS) \ + $(COMMON_CONFIGURE_FLAGS) \ --haddock-options="--use-contents=../index.html \ --use-index=../doc-index.html" \ $(CONFIGURE_OPTS) |