From 87aa7f514bb8a8e2900df1224848ffb50e9c5cef Mon Sep 17 00:00:00 2001
From: Jeremy Sowden <jeremy@azazel.net>
Date: Sun, 17 May 2020 12:39:29 +0100
Subject: [PATCH] wmcore: set DESTDIR so binary installs correctly.

Author: Doug Torrance <dtorrance@piedmont.edu>
Signed-off-by: Jeremy Sowden <jeremy@azazel.net>
---
 wmcore/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/wmcore/Makefile b/wmcore/Makefile
index 76340fe..626c1c7 100644
--- a/wmcore/Makefile
+++ b/wmcore/Makefile
@@ -19,6 +19,6 @@ clean::
 	done
 	rm -f wmcore
 install::
-	$(INSTALL) -c wmcore /usr/bin/wmcore
+	$(INSTALL) -c wmcore $(DESTDIR)/usr/bin/wmcore
 uninstall:
 	rm -f /usr/bin/wmcore
-- 
2.11.4.GIT