summaryrefslogtreecommitdiff
path: root/Makefile.in
diff options
context:
space:
mode:
authorNorbert Thiebaud <nthiebaud@gmail.com>2011-07-26 21:24:53 -0500
committerNorbert Thiebaud <nthiebaud@gmail.com>2011-07-26 21:24:53 -0500
commit82f0ba7e98430b5a7df740f8a4f5b5e02e54c1eb (patch)
treeb45a92e5f0944ce7bbb7d69918067bb993f72298 /Makefile.in
parent4220d91d4d6c5e6cf911d2974239d85929cc5e67 (diff)
git ignore workdir and clean it on make clea
Diffstat (limited to 'Makefile.in')
-rw-r--r--Makefile.in1
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.in b/Makefile.in
index 510455a5d22f..0f4d99a03c51 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -127,6 +127,7 @@ clean:
. ./Env.Host.sh && \
rm -rf */$$INPATH && \
rm -rf solver/*/$$INPATH && \
+ rm -rf workdir && \
rm -rf install
ifeq (@BUILD_DMAKE@,YES)
. ./Env.Host.sh && \