diff options
| author | Eliot Horowitz <eliot@10gen.com> | 2012-10-15 21:49:27 -0400 |
|---|---|---|
| committer | Eliot Horowitz <eliot@10gen.com> | 2012-10-16 10:35:38 -0400 |
| commit | 814807af7fb3c28716b2da9518cdca9608c84f86 (patch) | |
| tree | 4bec699239800df2c77075dc546d3f8a5a435d6f /buildscripts/utils.py | |
| parent | 7db66f228efe5fa604f94fcb06e850f09920a711 (diff) | |
| download | mongo-814807af7fb3c28716b2da9518cdca9608c84f86.tar.gz | |
can pass a list of files to lint.py
Diffstat (limited to 'buildscripts/utils.py')
| -rw-r--r-- | buildscripts/utils.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/buildscripts/utils.py b/buildscripts/utils.py index 24c6f39603d..fe35f69eec3 100644 --- a/buildscripts/utils.py +++ b/buildscripts/utils.py @@ -29,6 +29,7 @@ def getAllSourceFiles( arr=None , prefix="." ): getAllSourceFiles( arr , full ) else: if full.endswith( ".cpp" ) or full.endswith( ".h" ) or full.endswith( ".c" ): + full = full.replace( "//" , "/" ) arr.append( full ) return arr |