summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2009-01-25 22:59:55 (GMT)
committerYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2009-01-25 22:59:55 (GMT)
commit44596c425f79f0c92fdbfcd6d931105ac52c338d (patch)
tree862a83702c00494d55ce92719273a90ff69ebd50
parentdb0f33d0129716465dfa5a3cdc939e1952e9a22e (diff)
Makefile.in: remove generated paths.mk during clean
/trunk/Makefile.in | 2 2 0 0 ++ 1 file changed, 2 insertions(+)
-rw-r--r--Makefile.in2
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile.in b/Makefile.in
index fc8fdb8..ea7775e 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -108,6 +108,8 @@ clean-bin:
@rm -f ct-ng
clean-lib:
+ @echo " RM 'paths.mk'"
+ @rm -f paths.mk
clean-doc: