diff options
| author | Bram Moolenaar <Bram@vim.org> | 2017-04-20 20:20:23 +0200 |
|---|---|---|
| committer | Bram Moolenaar <Bram@vim.org> | 2017-04-20 20:20:23 +0200 |
| commit | c03944151fec2d5469746642a949c8fcb5a744a8 (patch) | |
| tree | 57c6182f83ece7daf153318d9e33c6f2f934cd71 /src/config.mk.in | |
| parent | 62cf09b5dcb9a04b8e4f5e6cf3b14a787758e1a2 (diff) | |
patch 8.0.0570: can't run make with several jobsv8.0.0570
Problem: Can't run make with several jobs, creating directories has a race
condition.
Solution: Use the MKDIR_P autoconf mechanism. (Eric N. Vander Weele,
closes #1639)
Diffstat (limited to 'src/config.mk.in')
| -rw-r--r-- | src/config.mk.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/config.mk.in b/src/config.mk.in index 90a3337789..b6110ddc8e 100644 --- a/src/config.mk.in +++ b/src/config.mk.in @@ -103,6 +103,8 @@ AWK = @AWK@ STRIP = @STRIP@ +MKDIR_P = @MKDIR_P@ + EXEEXT = @EXEEXT@ CROSS_COMPILING = @CROSS_COMPILING@ |