diff -r accf139b2eb9 tools/python/xen/util/auxbin.py
--- a/tools/python/xen/util/auxbin.py	Mon Apr 06 21:12:33 2009 +0100
+++ b/tools/python/xen/util/auxbin.py	Tue Apr 07 15:13:47 2009 +0200
@@ -35,7 +35,11 @@ def execute(exe, args = None):
     a = [ exepath ]
     if args:
         a.extend(args)
-    os.execv(exepath, a)
+    try:
+        os.execv(exepath, a)
+    except OSError, exn:
+        print exepath, ": ", exn
+        sys.exit(1)
 
 
 def pathTo(exe):