Move non-essential scripts to tools/misc/

[screamerbg]

Also add find_c_includes.py script which is used to find source file includes from other source files.

[theotherjimmy]

👍

On Mon, Jun 27, 2016 at 8:12 AM, Mihail Stoyanov notifications@github.com
wrote:

Also add find_c_includes.py script which is used to find source file

includes from other source files.

You can view, comment on, or merge this pull request online at:

#2023
Commit Summary

• Move non-essential scripts to tools/misc/

File Changes

• A tools/misc/find_c_includes.py
  https://github.com/mbedmicro/mbed/pull/2023/files#diff-0 (21)
• R tools/misc/remove-device-h.py
  https://github.com/mbedmicro/mbed/pull/2023/files#diff-1 (0)

Patch Links:

• https://github.com/mbedmicro/mbed/pull/2023.patch
• https://github.com/mbedmicro/mbed/pull/2023.diff

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub
#2023, or mute the thread
https://github.com/notifications/unsubscribe/AAp1YRbaFMqVfmVUKKgGEZqik9aPv4sGks5qP8xWgaJpZM4I_FEa
.

Success and happiness cause you to regain willpower; what you need to heal
your mind from any damage sustained by working is not inactivity, but
reliably solvable problems which reliably deliver experienced jolts of
positive reinforcement.

[0xc0170]

+1

[0xc0170]

Also add find_c_includes.py script which is used to find source file includes from other source files.

That script could contain some documentation in the source file or we have already a place for scripts documentation (readme?).