From d82db6e1afe0c31eab5efde3bcf98358b13cb7f2 Mon Sep 17 00:00:00 2001 From: "W. Trevor King" Date: Sat, 3 Apr 2010 17:56:42 -0400 Subject: [PATCH] If the EMPTY_DIRS timestamps get out of sync, don't flip out ;). For example, if you edit html/Makefile after EMPTY_DIRS creation, the Makefile timestamp will be newer than the EMPTY_DIRS', so it will try and recreate them. The "-p" option allows it to not fail in the case that they already exist. --- html/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/html/Makefile b/html/Makefile index e5db222..14284b0 100644 --- a/html/Makefile +++ b/html/Makefile @@ -43,7 +43,7 @@ install-source : $(DIST_FILE) install-html # Create empty directories if neccessary (Git doesn't track dirs) $(EMPTY_DIRS) : - mkdir $@ + mkdir -p $@ $(DEEP_EMPTY_DIRS) : $(EMPTY_DIRS) - mkdir $@ + mkdir -p $@ -- 2.26.2