summaryrefslogtreecommitdiff
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
parent4220d91d4d6c5e6cf911d2974239d85929cc5e67 (diff)
git ignore workdir and clean it on make clea
-rw-r--r--.gitignore3
-rw-r--r--Makefile.in1
2 files changed, 3 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore
index a1b1db7fc9a8..981d563feadd 100644
--- a/.gitignore
+++ b/.gitignore
@@ -29,7 +29,8 @@
/*/unxios?.pro
/*/unxand?
/*/unxand?.pro
-/solver/*
+/workdir
+/solver
/instsetoo_native/util/LibreOffice
/instsetoo_native/util/LibreOffice_SDK
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 && \