# HG changeset patch
# User John D
# Date 1478159285 14400
# Node ID bdcbb82d57e2dfb4140b13e97bb2430a38e39d5d
# Parent  1cb1ce8f351cdf15447f772741da8833c6afdfc0
pkg-install.py: fail pkg build if configure fails (Bug #49503)

* tools/pkg-install.py: check status of configure call and raise exeption on error

diff -r 1cb1ce8f351c -r bdcbb82d57e2 tools/pkg-install.py
--- a/tools/pkg-install.py	Fri Oct 28 10:07:28 2016 -0400
+++ b/tools/pkg-install.py	Thu Nov 03 03:48:05 2016 -0400
@@ -225,7 +225,8 @@
       if env.verbose:
         print "running ./configure " + env.config_opts
 
-      os.system("./configure " + env.config_opts + "")
+      if os.system("./configure " + env.config_opts + "") != 0:
+        raise Exception, "configure failed - stopping install"
 
     if os.path.isfile(src + "/Makefile") == True:
       if env.verbose: