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:34 +0000 (09:18 -0800)
commite9b6e97d93ebd5e8708b62b79e8bf8fb48f5503b
treef92690e81d7c49b330fa234bd6e49b9079b4fa1f
parent8c36bdd19fafc517b135f744613dfb10e06475f3
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