diff options
author | Rafael Laboissière <rafael@debian.org> | 2022-07-12 12:24:05 -0300 |
---|---|---|
committer | Rafael Laboissière <rafael@debian.org> | 2022-07-12 12:24:05 -0300 |
commit | 83b673c2c682796dfe1ff97818ddc5668abfd8fd (patch) | |
tree | 22d772e8d87dcbd3e8021594350e561b4ac0e070 | |
parent | c2c001e78c99c73d9d0b25c64bccf417a4166f63 (diff) |
Add distclean target to src/Makefile.in
Forwarded: https://savannah.gnu.org/bugs/index.php?62755
Last-Update: 2022-07-12
Gbp-Pq: Name add-distclean-target.patch
-rw-r--r-- | src/Makefile.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/Makefile.in b/src/Makefile.in index 87d8bdc..2130174 100644 --- a/src/Makefile.in +++ b/src/Makefile.in @@ -63,4 +63,7 @@ optiminterp_wrapper.o: optiminterp_wrapper.F90 optimal_interpolation.o clean: rm -f *.o *.oct *~ *.mod +distclean: clean + -rm Makeconf Makefile config.status config.log + .NOTPARALLEL: |