diff -r 5eef8eda79c4 -r 8dca2b118862 util/style.py
--- a/util/style.py	Sat Jun 07 16:20:59 2014 -0500
+++ b/util/style.py	Sat Jun 07 16:22:36 2014 -0500
@@ -149,6 +149,13 @@
         return f
 
     def skip(self, filename):
+        # We never want to handle symlinks, so always skip them: If the location
+        # pointed to is a directory, skip it. If the location is a file inside
+        # the gem5 directory, it will be checked as a file, so symlink can be
+        # skipped. If the location is a file outside gem5, we don't want to
+        # check it anyway.
+        if os.path.islink(filename):
+            return True
         return lang_type(filename) not in self.languages
 
     def check(self, filename, regions=all_regions):
@@ -384,6 +391,13 @@
         files = frozenset(files)
 
     def skip(name):
+        # We never want to handle symlinks, so always skip them: If the location
+        # pointed to is a directory, skip it. If the location is a file inside
+        # the gem5 directory, it will be checked as a file, so symlink can be
+        # skipped. If the location is a file outside gem5, we don't want to
+        # check it anyway.
+        if os.path.islink(name):
+            return True
         return files and name in files
 
     def prompt(name, func, regions=all_regions):