From 5944c7ada0a9363da6b8f8786302d2bfbcda2225 Mon Sep 17 00:00:00 2001 From: Sean Cross Date: Thu, 12 Jan 2023 16:36:30 +0800 Subject: [PATCH] Makefile: timing-root: don't always create dir Don't always create the `dependencies/` directory, because the `TIMING_ROOT` may not be in the current project. Instead, create the `TIMING_ROOT` directory. If this does not exist, then the `mkdir` will succeed. If it does exist, then this target will not get run. `git` will clone into an empty directory, so for most users this will not change the flow at all. This change prevents an empty `dependencies` directory from getting created as part of `make setup`. Signed-off-by: Sean Cross --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index ebea7fc08..0aa83d950 100644 --- a/Makefile +++ b/Makefile @@ -267,7 +267,7 @@ export PROJECT_ROOT=$(CUP_ROOT) timing-scripts-repo=https://github.com/efabless/timing-scripts.git $(TIMING_ROOT): - @mkdir -p $(CUP_ROOT)/dependencies + @mkdir -p $(TIMING_ROOT) @git clone $(timing-scripts-repo) $(TIMING_ROOT) .PHONY: setup-timing-scripts