[Pkg-octave-commit] [octave-interval] 04/04: d/p/fix-make-clean.patch: Fix package build error

[Oliver Heimlich]

This is an automated email from the git hooks/post-receive script.

oheim-guest pushed a commit to branch master
in repository octave-interval.

commit f2e911ba31fc4032836e458f12c9a5389df73587
Author: Oliver Heimlich <oheim at posteo.de>
Date:   Sun Jan 8 13:10:24 2017 +0100

    d/p/fix-make-clean.patch: Fix package build error
---
 debian/patches/fix-make-clean.patch | 13 +++++++++++++
 debian/patches/series               |  1 +
 2 files changed, 14 insertions(+)

diff --git a/debian/patches/fix-make-clean.patch b/debian/patches/fix-make-clean.patch
new file mode 100644
index 0000000..5255888
--- /dev/null
+++ b/debian/patches/fix-make-clean.patch
@@ -0,0 +1,13 @@
+Index: octave-interval/src/Makefile
+===================================================================
+--- octave-interval.orig/src/Makefile
++++ octave-interval/src/Makefile
+@@ -56,7 +56,7 @@ __setround__.oct: __setround__.cc
+ 	$(MKOCTFILE)  -o $@  $<
+ 
+ clean:
+-	$(MAKE) -C crlibm $@
++	test ! -e crlibm/Makefile || $(MAKE) -C crlibm $@
+ 	$(RM) *.oct *.o
+ 
+ .PHONY: all clean
diff --git a/debian/patches/series b/debian/patches/series
index 578de0b..4e71a4a 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1 +1,2 @@
 fix-external-css.patch
+fix-make-clean.patch

-- 
Alioth's /home/groups/pkg-octave/bin/git-commit-notice on /srv/git.debian.org/git/pkg-octave/octave-interval.git