diff pytools/gl.py @ 3628:61f10abeb25a

Removed more vestiges of JDK7G build support.
author Doug Simon <doug.simon@oracle.com>
date Wed, 09 Nov 2011 22:53:16 +0100
parents c773cc740d4a
children b054dd61bfe1
line wrap: on
line diff
--- a/pytools/gl.py	Wed Nov 09 22:37:44 2011 +0100
+++ b/pytools/gl.py	Wed Nov 09 22:53:16 2011 +0100
@@ -175,6 +175,15 @@
             
         return retcode
 
+    def gmake_cmd(self):
+        for a in ['make', 'gmake', 'gnumake']:
+            try:
+                output = subprocess.check_output([a, '--version'])
+                if 'GNU' in output:
+                    return a;
+            except:
+                pass
+        self.abort('Could not find a GNU make executable on the current path.')
     
     def log(self, msg=None):
         if msg is None: