1 files changed, 4 insertions, 4 deletions
diff --git a/Makefile b/Makefile
index 1c2d848..543779a 100644
--- a/Makefile
+++ b/Makefile
@@ -18,10 +18,10 @@
 PREFIX = /usr
 BINDIR = bin
 
-TARGET_DIR = $(PREFIX)/$(BINDIR)
-
 BUILD_DIR = build
 
+DESTDIR = ""
+
 GPRBUILD = gprbuild
 GPRCLEAN = gprclean
 GPRINSTALL = gprinstall
@@ -44,5 +44,5 @@ clean:
 	rm -rf $(BUILD_DIR)
 
 install:
-	$(INSTALL) -d $(TARGET_DIR)
-	$(INSTALL) $(BUILD_DIR)/hvinfo $(TARGET_DIR)
+	$(INSTALL) -d $(DESTDIR)/$(PREFIX)/$(BINDIR)
+	$(INSTALL) $(BUILD_DIR)/hvinfo $(DESTDIR)/$(PREFIX)/$(BINDIR)