Displaying 1 result from an estimated 1 matches for "gmp_stampfil".
Did you mean:
gmp_stampfile
2013 Jan 02
1
[PATCH] Fix gmp stubdom build when DESTDIR is used
...-by: Matthew Fioravante <matthew.fioravante@jhuapl.edu>
---
stubdom/Makefile | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/stubdom/Makefile b/stubdom/Makefile
index 7519683..3006ad6 100644
--- a/stubdom/Makefile
+++ b/stubdom/Makefile
@@ -173,7 +173,7 @@ cross-gmp: $(GMP_STAMPFILE)
$(GMP_STAMPFILE): gmp-$(XEN_TARGET_ARCH)
( cd $< && \
$(MAKE) && \
- $(MAKE) install )
+ $(MAKE) DESTDIR= install )
#############
# cross-polarssl
--
1.7.10.4