diff options
author | Jean-Sébastien Pédron <[email protected]> | 2015-06-19 17:58:11 +0200 |
---|---|---|
committer | Jean-Sébastien Pédron <[email protected]> | 2015-06-19 18:10:40 +0200 |
commit | a93cf73b08c458ed2e4703fbe33be295f60f101c (patch) | |
tree | 3a507ecae04a527979fa434525392d8bf87e3c62 | |
parent | 1b9e73c99561e0661862b10f3c5fd9dbb8cc1f0f (diff) | |
download | erlang.mk-a93cf73b08c458ed2e4703fbe33be295f60f101c.tar.gz erlang.mk-a93cf73b08c458ed2e4703fbe33be295f60f101c.tar.bz2 erlang.mk-a93cf73b08c458ed2e4703fbe33be295f60f101c.zip |
core/deps.mk: Ensure $(ERLANG_MK_TMP) is created
... before writing to it.
This fixes the following error which is logged with a fresh checkout:
/bin/sh: cannot create (...)/.erlang.mk/deps.log: No such file or directory
-rw-r--r-- | core/deps.mk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/core/deps.mk b/core/deps.mk index 78ce3ca..dc21588 100644 --- a/core/deps.mk +++ b/core/deps.mk @@ -43,6 +43,7 @@ deps:: $(ALL_DEPS_DIRS) ifneq ($(IS_DEP),1) @rm -f $(ERLANG_MK_TMP)/deps.log endif + @mkdir -p $(ERLANG_MK_TMP) @for dep in $(ALL_DEPS_DIRS) ; do \ if grep -qs ^$$dep$$$$ $(ERLANG_MK_TMP)/deps.log; then \ echo -n; \ |