mirror of
https://github.com/mongodb/mongo.git
synced 2024-12-01 01:21:03 +01:00
don't style generated files
This commit is contained in:
parent
34f8e800ce
commit
f2f6c281b0
@ -1345,6 +1345,8 @@ def doStyling( env , target , source ):
|
||||
|
||||
files = utils.getAllSourceFiles()
|
||||
files = filter( lambda x: not x.endswith( ".c" ) , files )
|
||||
files.remove( "./shell/mongo_vstudio.cpp" )
|
||||
|
||||
cmd = "astyle --options=mongo_astyle " + " ".join( files )
|
||||
res = utils.execsys( cmd )
|
||||
print( res[0] )
|
||||
|
Loading…
Reference in New Issue
Block a user