From: Ben Pfaff Date: Mon, 13 Feb 2012 18:09:09 +0000 (-0800) Subject: debian: Do not run "make" if "configure" fails during DKMS build. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3d93284f97b96861dbfeec440eda6bb8c7b735c6;p=openvswitch 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 CC: Simon Horman Signed-off-by: Ben Pfaff --- diff --git a/debian/dkms.conf.in b/debian/dkms.conf.in index a6dc316b..ae1fc7a0 100644 --- a/debian/dkms.conf.in +++ b/debian/dkms.conf.in @@ -1,6 +1,6 @@ PACKAGE_NAME="openvswitch" PACKAGE_VERSION="__VERSION__" -MAKE="./configure --with-linux=/lib/modules/`uname -r`/build ; make -C datapath/linux" +MAKE="./configure --with-linux=/lib/modules/`uname -r`/build && make -C datapath/linux" BUILT_MODULE_NAME[0]=openvswitch_mod BUILT_MODULE_NAME[1]=brcompat_mod BUILT_MODULE_LOCATION[0]=datapath/linux/