X-Git-Url: https://git.libre-soc.org/?a=blobdiff_plain;f=src%2FSConscript;h=95ea061c4bba124c855a50b931b8e8974123e93c;hb=bd98b8c74ef9d404f98b77519eaf327b938a150a;hp=d861af8e4d719248b8f89dbb57f5656a6b2d7438;hpb=ace3124f2293616aa09f66a4cb0b38830df8683a;p=mesa.git

diff --git a/src/SConscript b/src/SConscript
index d861af8e4d7..95ea061c4bb 100644
--- a/src/SConscript
+++ b/src/SConscript
@@ -1,12 +1,14 @@
 import filecmp
 import os
 import subprocess
+from sys import executable as python_cmd
 
 Import('*')
 
 if env['platform'] == 'windows':
     SConscript('getopt/SConscript')
 
+SConscript('util/xmlpool/SConscript')
 SConscript('util/SConscript')
 SConscript('compiler/SConscript')
 
@@ -22,35 +24,13 @@ def write_git_sha1_h_file(filename):
     to retrieve the git hashid and write the header file.  An empty file
     will be created if anything goes wrong."""
 
-    args = [ 'git', 'rev-parse', '--short=10', 'HEAD' ]
+    args = [ python_cmd, Dir('#').abspath + '/bin/git_sha1_gen.py', '--output', filename ]
     try:
-        (commit, foo) = subprocess.Popen(args, stdout=subprocess.PIPE).communicate()
+        subprocess.call(args)
     except:
-        print "Warning: exception in write_git_sha1_h_file()"
-        # git log command didn't work
-        if not os.path.exists(filename):
-            dirname = os.path.dirname(filename)
-            if dirname and not os.path.exists(dirname):
-                os.makedirs(dirname)
-            # create an empty file if none already exists
-            f = open(filename, "w")
-            f.close()
+        print("Warning: exception in write_git_sha1_h_file()")
         return
 
-    # note that commit[:-1] removes the trailing newline character
-    commit = '#define MESA_GIT_SHA1 "git-%s"\n' % commit[:-1]
-    tempfile = "git_sha1.h.tmp"
-    f = open(tempfile, "w")
-    f.write(commit)
-    f.close()
-    if not os.path.exists(filename) or not filecmp.cmp(tempfile, filename):
-        # The filename does not exist or it's different from the new file,
-        # so replace old file with new.
-        if os.path.exists(filename):
-            os.remove(filename)
-        os.rename(tempfile, filename)
-    return
-
 
 # Create the git_sha1.h header file
 write_git_sha1_h_file("git_sha1.h")