diff options
-rw-r--r-- | toolchain/gmp/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toolchain/gmp/Makefile b/toolchain/gmp/Makefile index f90a5a08e..692216b97 100644 --- a/toolchain/gmp/Makefile +++ b/toolchain/gmp/Makefile @@ -25,7 +25,7 @@ endif touch $@ $(WRKBUILD)/.compiled: $(WRKBUILD)/.configured - $(MAKE) ${GMP_MAKEOPTS} -C $(WRKBUILD) all + env PATH="$(STAGING_HOST_DIR)/usr/bin:$$PATH" $(MAKE) ${GMP_MAKEOPTS} -C $(WRKBUILD) all touch $@ $(WRKBUILD)/.installed: $(WRKBUILD)/.compiled |