diff options
author | Norbert Thiebaud <nthiebaud@gmail.com> | 2011-07-26 21:24:53 -0500 |
---|---|---|
committer | Norbert Thiebaud <nthiebaud@gmail.com> | 2011-07-26 21:24:53 -0500 |
commit | 82f0ba7e98430b5a7df740f8a4f5b5e02e54c1eb (patch) | |
tree | b45a92e5f0944ce7bbb7d69918067bb993f72298 /Makefile.in | |
parent | 4220d91d4d6c5e6cf911d2974239d85929cc5e67 (diff) |
git ignore workdir and clean it on make clea
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 1 |
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 && \ |