diff options
author | Emilio Cobos Álvarez <me@emiliocobos.me> | 2016-07-04 01:07:47 -0700 |
---|---|---|
committer | Emilio Cobos Álvarez <ecoal95@gmail.com> | 2016-07-05 20:14:39 -0700 |
commit | eb7787398920acb925888225ff43692456e5be91 (patch) | |
tree | 00049e047c6c564fcbee961fbc2e8cb1c25a0f17 /python/tidy/servo_tidy/tidy.py | |
parent | abdf2f28a0bd25a76a31b4fd2410c7a87448ed54 (diff) | |
download | servo-eb7787398920acb925888225ff43692456e5be91.tar.gz servo-eb7787398920acb925888225ff43692456e5be91.zip |
stylo: Move all binding-generator code to a python script.
This not only makes us more consistent with the rest of the codebase but also:
* Makes us repeat less code like common flags and all that stuff.
* Reduces the noise of the build: You only get the output of the commands on
failure or when you pass the -v flag.
* Makes you able to select a single kind of build or multiple in the same
place.
I've basically kept the regen.sh script because of the LIBCLANG_PATH checks, but
at least from Linux I don't need them anymore. Also, that logic could be moved
to the new script.
The whole point of this isn't only making it prettier and easier to use, but
also allowing me to write more complex logic in the binding generator scripts,
that I will probably need to integrate the DOM enum types we need for animations
and such easily (can't be just an include, because that pulls in another header
with the same name bringing a lot of DOM and IDL churn).
Diffstat (limited to 'python/tidy/servo_tidy/tidy.py')
-rw-r--r-- | python/tidy/servo_tidy/tidy.py | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/python/tidy/servo_tidy/tidy.py b/python/tidy/servo_tidy/tidy.py index 3b1b443eb87..fa0708d403a 100644 --- a/python/tidy/servo_tidy/tidy.py +++ b/python/tidy/servo_tidy/tidy.py @@ -70,8 +70,6 @@ IGNORED_DIRS = [ # Generated and upstream code combined with our own. Could use cleanup os.path.join(".", "target"), os.path.join(".", "ports", "cef"), - # Tooling, generated locally from external repos. - os.path.join(".", "ports", "geckolib", "gecko_bindings", "tools"), # Hidden directories os.path.join(".", "."), ] |