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:08 +0000 (09:18 -0800)
commite9b0614f9e83f7eaae1072bf529c13f22dc9d458
treeaf73cf83cabbdfba6410de29913997e030e28197
parent46bd5d92ac8066af5ef6d576cc31280435b4b293
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