diff options
-rwxr-xr-x | BaseTools/Scripts/PatchCheck.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/BaseTools/Scripts/PatchCheck.py b/BaseTools/Scripts/PatchCheck.py index 63e6223f8e..475b3a8c27 100755 --- a/BaseTools/Scripts/PatchCheck.py +++ b/BaseTools/Scripts/PatchCheck.py @@ -383,6 +383,9 @@ class GitDiffCheck: #
self.force_crlf = False
self.force_notabs = False
+ if os.path.basename(self.filename) == 'GNUmakefile' or \
+ os.path.basename(self.filename) == 'Makefile':
+ self.force_notabs = False
elif len(line.rstrip()) != 0:
self.format_error("didn't find diff command")
self.line_num += 1
|