From 48ef6c3736db3dab13ea9befe2239bec65df939e Mon Sep 17 00:00:00 2001
From: El Mostafa Idrassi <el-mostafa.idrassi@prestalab.net>
Date: Fri, 4 Oct 2019 20:26:25 +0100
Subject: [PATCH] Linux : Added missing 'mkdir' before installing in case
 $DESTDIR does not exist (#510)

---
 src/Main/Main.make | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/Main/Main.make b/src/Main/Main.make
index 29e2e85c..bc54a67b 100755
--- a/src/Main/Main.make
+++ b/src/Main/Main.make
@@ -254,6 +254,7 @@ endif
 
 
 install: prepare
+	mkdir -p $(DESTDIR)
 	cp -R $(BASE_DIR)/Setup/Linux/usr $(DESTDIR)/
 
 ifeq "$(TC_BUILD_CONFIG)" "Release"
@@ -303,6 +304,7 @@ endif
 
 
 install: prepare
+	mkdir -p $(DESTDIR)
 	cp -R $(BASE_DIR)/Setup/FreeBSD/usr $(DESTDIR)/.
 
 ifeq "$(TC_BUILD_CONFIG)" "Release"