diff --git a/examples/Makefile.am b/examples/Makefile.am index 7cc7d24f63c6d8c8cb78f299594b951b8b1b1bb7..74783506ba9b2a9f939005d6054f95bc80f4607c 100644 --- a/examples/Makefile.am +++ b/examples/Makefile.am @@ -36,6 +36,8 @@ EXTRA_DIST = $(srcdir)/rfc*.txt \ dist-hook: rm -rf `find $(distdir) -name CVS -or -name .cvsignore` + rm -rf `find $(distdir) -name "*.core" -or -name ".tmp.*"` + rm -rf `find $(distdir) -name "*.[ch].??????"` CLEANFILES = $(ASN1_FILES_1) $(ASN1_FILES_2) $(ASN1_FILES_3) diff --git a/examples/Makefile.in b/examples/Makefile.in index 22722f5df530b50d9be47eb78b4aee3640af06f5..828085174efddca88c7c3112ce86066dc5039cd7 100644 --- a/examples/Makefile.in +++ b/examples/Makefile.in @@ -388,6 +388,8 @@ $(ASN1_FILES_3): crfc2asn1.pl $(ASN1_SOURCE_3) dist-hook: rm -rf `find $(distdir) -name CVS -or -name .cvsignore` + rm -rf `find $(distdir) -name "*.core" -or -name ".tmp.*"` + rm -rf `find $(distdir) -name "*.[ch].??????"` clean-local: for dir in sample.source.*; do (cd $$dir && make distclean); done