diff options
| author | midipix <writeonce@midipix.org> | 2018-12-21 11:14:11 -0500 |
|---|---|---|
| committer | midipix <writeonce@midipix.org> | 2018-12-21 22:48:33 -0500 |
| commit | de625c804532b70032a973edbc60865eb198aca9 (patch) | |
| tree | a7407a9744e442ff3ba6778355b85fa08f671ba3 | |
| parent | 4804f7bf214abef755266faf7f481b9ec370214e (diff) | |
| download | w32lib-de625c804532b70032a973edbc60865eb198aca9.tar.bz2 w32lib-de625c804532b70032a973edbc60865eb198aca9.tar.xz | |
build system: Makefile.in: distclean: remove cfgdefs.mk and usrdefs.mk.
| -rw-r--r-- | Makefile.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile.in b/Makefile.in index 25a6a55..888e570 100644 --- a/Makefile.in +++ b/Makefile.in @@ -276,6 +276,8 @@ version.tag: $(GIT_REFERENCE_INDEX) touch version.tag distclean: clean + rm -f cfgdefs.mk + rm -f usrdefs.mk rm -f Makefile clean: clean-implib |