diff options
author | Roman Shtylman <shtylman@athenacr.com> | 2010-05-19 22:33:23 +0800 |
---|---|---|
committer | Eliot <eliot@10gen.com> | 2010-05-21 00:10:36 +0800 |
commit | b5faf3b514150922d52257e554002cc01707573c (patch) | |
tree | 2a319f30ef045c80925c6c1ab7a82e04d039a26b /buildscripts/errorcodes.py | |
parent | d5936caad2e605e2b5aa46c4a1f789ba5d20f866 (diff) | |
download | mongo-b5faf3b514150922d52257e554002cc01707573c.tar.gz |
buildsystem: added new header directories
ignore the debian directory when looking for duplicate IDs
Diffstat (limited to 'buildscripts/errorcodes.py')
-rwxr-xr-x | buildscripts/errorcodes.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/buildscripts/errorcodes.py b/buildscripts/errorcodes.py index 7a7e01701d3..ede2927879d 100755 --- a/buildscripts/errorcodes.py +++ b/buildscripts/errorcodes.py @@ -9,7 +9,7 @@ def getAllSourceFiles( arr=None , prefix="." ): arr = [] for x in os.listdir( prefix ): - if x.startswith( "." ) or x.startswith( "pcre-" ) or x.startswith( "32bit" ) or x.startswith( "mongodb-" ): + if x.startswith( "." ) or x.startswith( "pcre-" ) or x.startswith( "32bit" ) or x.startswith( "mongodb-" ) or x.startswith("debian"): continue full = prefix + "/" + x if os.path.isdir( full ): @@ -19,7 +19,7 @@ def getAllSourceFiles( arr=None , prefix="." ): arr.append( full ) return arr - + assertNames = [ "uassert" , "massert" ] def assignErrorCodes(): |