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>
Mon, 13 Feb 2012 20:23:09 +0000 (12:23 -0800)
commit3d93284f97b96861dbfeec440eda6bb8c7b735c6
tree99342ea80dc39f12b5b7694ec26a834b8dc84fba
parentbcb9094323c83c2f070277c30a1390f7afb70c46
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