diff options
| author | Waldemar Brodkorb <wbx@openadk.org> | 2014-03-18 16:27:37 +0100 |
|---|---|---|
| committer | Waldemar Brodkorb <wbx@openadk.org> | 2014-03-18 16:27:37 +0100 |
| commit | 5fcef36f39fef441bbf7454e4726763b6756dba9 (patch) | |
| tree | 82b6d388aa52bd54546d7ca345663944847a67b5 /toolchain/mpfr/Makefile | |
| parent | c012f487664640a65cf03b8442b6a7213161ead5 (diff) | |
| parent | cc2ad83623905e8823e3d40c9575e2b1422ac9b4 (diff) | |
Merge branch 'master' of git+ssh://openadk.org/git/openadk
Diffstat (limited to 'toolchain/mpfr/Makefile')
| -rw-r--r-- | toolchain/mpfr/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toolchain/mpfr/Makefile b/toolchain/mpfr/Makefile index 019d14d77..954040b85 100644 --- a/toolchain/mpfr/Makefile +++ b/toolchain/mpfr/Makefile @@ -15,7 +15,7 @@ $(WRKBUILD)/.headers: $(WRKBUILD)/.configured: (cd $(WRKBUILD); \ $(WRKBUILD)/configure \ - --prefix=$(STAGING_HOST_DIR) \ + --prefix=$(STAGING_HOST_DIR)/usr \ --with-gmp-build=$(GMP_BUILD_DIR) \ --disable-shared \ --enable-static \ |