diff tools/pkg-install.py @ 4238:bdcbb82d57e2

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
author John D
date Thu, 03 Nov 2016 03:48:05 -0400
parents d53c492ab48d
children 223b967a2d40
line wrap: on
line diff
--- 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: