diff options
author | Nikos Mavrogiannopoulos <nmav@redhat.com> | 2016-12-05 10:36:04 +0100 |
---|---|---|
committer | Nikos Mavrogiannopoulos <nmav@gnutls.org> | 2016-12-21 08:38:32 +0100 |
commit | 7627c63fd797e88ed5f925a27e0c30f909fbda11 (patch) | |
tree | 64daef4cdb749f4db98c8b1406ca0dc80ae06fe2 | |
parent | 92d25ed3dd0b1d2f0e0cd48b508cc8ed3e9882ef (diff) | |
download | gnutls-7627c63fd797e88ed5f925a27e0c30f909fbda11.tar.gz |
src: clean all stamp files on 'make clean'
-rw-r--r-- | src/Makefile.am | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/Makefile.am b/src/Makefile.am index 6c145af85a..4a17d90ed9 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -283,3 +283,6 @@ systemkey-args.c: systemkey-args.stamp systemkey-args.stamp: $(srcdir)/systemkey-args.def $(srcdir)/args-std.def -$(AUTOGEN) $< touch $@ + +clean-local: + rm -f *.stamp |