diff options
Diffstat (limited to 'toolchain/gmp')
| -rw-r--r-- | toolchain/gmp/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/toolchain/gmp/Makefile b/toolchain/gmp/Makefile index c31e76483..1a6a77d26 100644 --- a/toolchain/gmp/Makefile +++ b/toolchain/gmp/Makefile @@ -10,8 +10,8 @@ ifeq (${ADK_MAKE_PARALLEL},y) GMP_MAKEOPTS+= -j${ADK_MAKE_JOBS} endif -$(WRKBUILD)/.headers: -$(WRKBUILD)/.configured: +$(WRKBUILD)/.headers: +$(WRKBUILD)/.configured: (cd $(WRKBUILD); \ $(WRKBUILD)/configure \ --prefix=$(STAGING_TOOLS) \ |