mirror of https://github.com/ARMmbed/mbed-os.git
Move non-essential scripts to tools/misc/
parent
703aee4f61
commit
925781c6a7
tools/misc
|
@ -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