mirror of
https://git.rwth-aachen.de/acs/public/villas/node/
synced 2025-03-09 00:00:00 +01:00
do not try to delete directories
This commit is contained in:
parent
67e109385d
commit
410a80faf9
1 changed files with 1 additions and 0 deletions
1
Makefile
1
Makefile
|
@ -113,6 +113,7 @@ doc:
|
|||
%/:
|
||||
mkdir -p $@
|
||||
|
||||
.PRECIOUS: %/
|
||||
.SECONDEXPANSION:
|
||||
|
||||
-include $(wildcard $(BUILDDIR)/**/*.d)
|
||||
|
|
Loading…
Add table
Reference in a new issue