debian: Do not run "make" if "configure" fails during DKMS build.
authorBen Pfaff <blp@nicira.com>
Mon, 13 Feb 2012 18:09:09 +0000 (10:09 -0800)
committerBen Pfaff <blp@nicira.com>
Tue, 14 Feb 2012 17:18:52 +0000 (09:18 -0800)
commit561f1ba30a9f1daf488dae7945d46b097d821998
treec6ecb835c61e07177f53756bf03a7f2d8b8c0f8f
parentc5db3458732298441c42de16486cdc02b79e6f79
debian: Do not run "make" if "configure" fails during DKMS build.

There is no point in trying to run "make" if "configure" failed.  The
"make" will fail too and the log will be harder to read.

CC: Thomas Goirand <zigo@debian.org>
CC: Simon Horman <horms@verge.net.au>
Signed-off-by: Ben Pfaff <blp@nicira.com>
debian/dkms.conf.in