summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRafael Laboissière <rafael@debian.org>2023-12-07 03:13:07 -0300
committerRafael Laboissière <rafael@debian.org>2023-12-07 03:13:07 -0300
commitc86e74149e9b11f9a7525c57c04ead87385caa1d (patch)
treee924847c3e0008c41e91fe6ad1e6a889ce7265af
parent60867edb24c28b593bc7d3ca9556a7695867fa90 (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.in3
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