diff options
author | Rafael Laboissière <rafael@debian.org> | 2023-12-07 03:13:07 -0300 |
---|---|---|
committer | Rafael Laboissière <rafael@debian.org> | 2023-12-07 03:13:07 -0300 |
commit | c86e74149e9b11f9a7525c57c04ead87385caa1d (patch) | |
tree | e924847c3e0008c41e91fe6ad1e6a889ce7265af | |
parent | 60867edb24c28b593bc7d3ca9556a7695867fa90 (diff) |
Add distclean target to src/Makefile.in
Forwarded: https://savannah.gnu.org/bugs/?62754
Last-Update: 2022-07-11
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 86bf766..181c85f 100644 --- a/src/Makefile.in +++ b/src/Makefile.in @@ -120,6 +120,9 @@ all: octave win32 win64 mex4m clean: -$(RM) *.o *.obj *.o64 core octave-core *.oct *~ *.mex* +distclean: clean + -$(RM) config.status Makefile config.h config.log + #$(PROGS): Makefile |