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)
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>

No differences found