mirror of https://github.com/ARMmbed/mbed-os.git
Merge pull request #2023 from screamerbg/misc-scripts
Move non-essential scripts to tools/misc/pull/2031/head
commit
2acd3bbf2f
|
@ -0,0 +1,21 @@
|
|||
#!/usr/bin/env python
|
||||
|
||||
import os
|
||||
import re
|
||||
|
||||
def main(path='.', pattern=r'#include\s+"([^"]*\.(?:c|cpp))"'):
|
||||
pattern = re.compile(pattern)
|
||||
|
||||
for root, dirs, files in os.walk(path, followlinks=True):
|
||||
for file in files:
|
||||
with open(os.path.join(root, file)) as f:
|
||||
for line in f.read().splitlines():
|
||||
m = re.search(pattern, line)
|
||||
if m:
|
||||
print os.path.relpath(os.path.join(root, m.group(1)))
|
||||
|
||||
|
||||
if __name__ == "__main__":
|
||||
import sys
|
||||
main(*sys.argv[1:])
|
||||
|
Loading…
Reference in New Issue