diff options
Diffstat (limited to 'src/nettls-gnutls/Makefile.pre')
| -rw-r--r-- | src/nettls-gnutls/Makefile.pre | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/nettls-gnutls/Makefile.pre b/src/nettls-gnutls/Makefile.pre index 4e6b3080..2cd842b6 100644 --- a/src/nettls-gnutls/Makefile.pre +++ b/src/nettls-gnutls/Makefile.pre @@ -20,6 +20,9 @@ CLEAN_LIST += nettls_gnutls_bindings.ml \ nettls_nettle_bindings_stubs.c \ nettls_gnutls_config.ml \ config.log \ + config.h \ + config.mk \ + config.sh \ config_checks.sh \ done_reconfigure @@ -35,4 +38,5 @@ nettls_gnutls_bindings_stubs.c: done_reconfigure done_reconfigure: gnutls.descr gnutls.c gnutls.ml gnutls.mli ./reconfigure - +distclean:: + rm -rf testdir |