From: Ximin Luo <infinity0@debian.org>
Date: Wed, 28 Sep 2016 19:40:44 +0000 (+0200)
Subject: d/rules: configure: don't fail mkdir if the directory already exists
X-Git-Tag: archive/raspbian/4.08.1-4+rpi1~3^2~112
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=453dd1570a3a44f1c4b240a5cfa3f100003c871e;p=ocaml.git

d/rules: configure: don't fail mkdir if the directory already exists
---

diff --git a/debian/rules b/debian/rules
index a1e56b3f..dfeda5ad 100755
--- a/debian/rules
+++ b/debian/rules
@@ -106,7 +106,7 @@ pre-config-stamp: $(TARBALL_TARGET)
 
 ifneq (,$(TARBALL_TARGET))
 $(TARBALL_TARGET): $(UPSTREAM_TARBALL)
-	mkdir debian/$(DISTDIR)
+	mkdir -p debian/$(DISTDIR)
 # Copy upstream tarball
 	cp $< debian/$(DISTDIR)
 # Copy debian/patches