diff options
| author | Jay3.1415 <no@mail.com> | 2012-10-15 00:43:41 +0200 |
|---|---|---|
| committer | Florian Diebold <flodiebold@gmail.com> | 2012-10-23 12:39:48 +0200 |
| commit | 0bacb340b02fedf46e7fe6a1249b3e73cff3d8e2 (patch) | |
| tree | 4cd2e5b278c6a4e9c432c574395bb4a5a4efffb7 /crawl-ref/source/util/includes.sh | |
| parent | 93e47c4cd769153ac7679753bf69c57618ee9493 (diff) | |
| download | crawl-ref-0bacb340b02fedf46e7fe6a1249b3e73cff3d8e2.tar.gz crawl-ref-0bacb340b02fedf46e7fe6a1249b3e73cff3d8e2.zip | |
Remove unnecessary includes from header files.
For most header files, this only saves on having to recompile a
small number of source files, but there are also a few headers
where small changes would now take significantly less time.
This is most obvious for the Tiles build for which the dependencies
have been greatly reduced, so that the only additional includes
when compared to console are strictly library or tile related.
Diffstat (limited to 'crawl-ref/source/util/includes.sh')
| -rw-r--r-- | crawl-ref/source/util/includes.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/crawl-ref/source/util/includes.sh b/crawl-ref/source/util/includes.sh index b38e254de4..ff49441d51 100644 --- a/crawl-ref/source/util/includes.sh +++ b/crawl-ref/source/util/includes.sh @@ -2,7 +2,7 @@ # Relies on appropriate versions of etags, grep, tr, awk and maybe bash. # # To use: -# $ . util/include.sh +# $ . util/includes.sh # $ checkall # Tries to list all names defined in the header file $1. |