diff options
author | Rafael Laboissière <rafael@debian.org> | 2022-12-05 10:45:13 -0300 |
---|---|---|
committer | Rafael Laboissière <rafael@debian.org> | 2022-12-05 10:45:13 -0300 |
commit | 85ac79480c0bba83600d8bf54e14ce4436caa798 (patch) | |
tree | 51caa259b788709ad6959266c22d1c94c6ac427e | |
parent | 90f096c0eeb8d5b05f8e14f981c99410624cfe4e (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: |