Le 13/07/2012 14:53, Jan Groenewald a écrit :
On 13 July 2012 13:42, Jeroen Demeyer <jdeme...@cage.ugent.be
<mailto:jdeme...@cage.ugent.be>> wrote:
Can you build using "make -k" instead of "make"? This will make the
build continue after errors (but it will still respect dependencies).
Somehow those debhelper (dh) commands will call make somewhere.
Maybe Julien can help us out.
Well, if you have a look at "man 7 debhelper", you'll see
dh_auto_build is how it's done ; so you just have to add this rule to
your debian/rules :
override_dh_auto_build:
make -k
But notice that "make -k" will still fail in the end, so I don't know
what you hope to gain with that!
Snark on #sagemath
--
--
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org
