From 5f4bde1cac5489c0fb8956ddff76cc69e0d23a20 Mon Sep 17 00:00:00 2001
From: Sven-Hendrik Haase <svenstaro@gmail.com>
Date: Fri, 4 Dec 2020 18:56:09 +0100
Subject: [PATCH] Allow for setting DESTDIR (#12898)

This allows you to do DESTDIR=somedir make install which is good for package maintainers.
---
 Makefile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index d213abdc2..91455b0cd 100644
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,6 @@
-VERSION=$(shell cat emscripten-version.txt | sed s/\"//g)
-DESTDIR=../emscripten-$(VERSION)
-DISTFILE=emscripten-$(VERSION).tar.bz2
+VERSION = $(shell cat emscripten-version.txt | sed s/\"//g)
+DESTDIR ?= ../emscripten-$(VERSION)
+DISTFILE = emscripten-$(VERSION).tar.bz2
 
 dist: $(DISTFILE)