summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRafael Laboissière <rafael@debian.org>2022-07-12 12:11:11 -0300
committerRafael Laboissière <rafael@debian.org>2022-07-12 12:11:11 -0300
commit8431e361f8e14bcf084ceedcb68b036b7ba33fcc (patch)
treea997adae0d5f114715f5cb11a57ff91b3af94eb8
parent8596d6e37ec71e032ff5155783209689b8f9544f (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