# HG changeset patch
# User John Donoghue <john.donoghue@ieee.org>
# Date 1589918622 14400
# Node ID 01afae590a2fa4a0fafcd46ffff50d35fd329755
# Parent  9cc776f11af79c91236575d3d131634bdf7c5e96
* src/gta.mk: use DESTDIR

diff -r 9cc776f11af7 -r 01afae590a2f src/gta.mk
--- a/src/gta.mk	Tue May 19 13:00:25 2020 -0400
+++ b/src/gta.mk	Tue May 19 16:03:42 2020 -0400
@@ -25,6 +25,5 @@
         --disable-reference \
         --prefix='$(HOST_PREFIX)'
     $(MAKE) -C '$(1)' -j '$(JOBS)'
-    $(MAKE) -C '$(1)' -j 1 install $(MXE_DISABLE_DOCS)
-
+    $(MAKE) -C '$(1)' -j 1 install $(MXE_DISABLE_DOCS) DESTDIR='$(3)'
 endef