Changeset 45210 in webkit

Timestamp:

Jun 25, 2009 4:36:31 PM (15 years ago)

Author:

jmalonzo@webkit.org

Message:

2009-06-25 Jan Michael Alonzo <​jmalonzo@webkit.org>

Reviewed by Mark Rowe.

bugzilla-tool apply-patch throws exception in Linux
​https://bugs.webkit.org/show_bug.cgi?id=26738

HEAD is case-sensitive in Linux. Convert uses of head to HEAD in
the scm module.

• Scripts/modules/scm.py:

Location:

trunk/WebKitTools

Files:

• ChangeLog (modified) (1 diff)
• Scripts/modules/scm.py (modified) (3 diffs)

trunk/WebKitTools/ChangeLog

@@ +1 @@
+2009-06-25  Jan Michael Alonzo  <jmalonzo@webkit.org>
+
+        Reviewed by Mark Rowe.
+
+        bugzilla-tool apply-patch throws exception in Linux
+        https://bugs.webkit.org/show_bug.cgi?id=26738
+
+        HEAD is case-sensitive in Linux. Convert uses of head to HEAD in
+        the scm module.
+
+        * Scripts/modules/scm.py:
+
 2009-06-25  Eric Seidel  <eric@webkit.org>
 

trunk/WebKitTools/Scripts/modules/scm.py

@@ -243 +243 @@
     
     def working_directory_is_clean(self):
-        return self.run_command("git diff-index head") == ""
+        return self.run_command("git diff-index HEAD") == ""
     
     def clean_working_directory(self):
         # Could run git clean here too, but that wouldn't match working_directory_is_clean
-        self.run_command("git reset --hard head")
+        self.run_command("git reset --hard HEAD")
     
     def update_webkit(self):
@@ -269 +269 @@
 
     def create_patch_command(self):
-        return "git diff head"
+        return "git diff HEAD"
 
     def commit_with_message(self, message):
@@ -296 +296 @@
         if len(revisions) < 2:
             revisions[0] = "^" + revisions[0]
-            revisions.append("head")
+            revisions.append("HEAD")
         
         rev_list_args = ['git', 'rev-list'] + revisions