Code Review
/
csit.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
review
|
tree
raw
| inline |
side by side
Report: delete tmp dir
[csit.git]
/
resources
/
tools
/
presentation
/
specification.yaml
diff --git
a/resources/tools/presentation/specification.yaml
b/resources/tools/presentation/specification.yaml
index
64336b2
..
baff96a
100644
(file)
--- a/
resources/tools/presentation/specification.yaml
+++ b/
resources/tools/presentation/specification.yaml
@@
-81,6
+81,7
@@
# List the directories which are deleted while cleaning the environment.
# All directories MUST be defined in "paths" section.
#- "DIR[BUILD,HTML]"
+ - "DIR[WORKING,DATA]"
build-dirs:
# List the directories where the results (build) is stored.