diff options
| author | Björn Gustavsson <[email protected]> | 2016-04-27 16:57:27 +0200 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2016-04-29 09:58:27 +0200 |
| commit | 73bc045aa5b432f6ed34475ae7a1d5fa6566a9dd (patch) | |
| tree | 9d3c49471756760b111bc9b28ca66ca50ca976a8 /.gitignore | |
| parent | 27098673c0654add1784852b54d4600a2775773e (diff) | |
| download | otp-73bc045aa5b432f6ed34475ae7a1d5fa6566a9dd.tar.gz otp-73bc045aa5b432f6ed34475ae7a1d5fa6566a9dd.tar.bz2 otp-73bc045aa5b432f6ed34475ae7a1d5fa6566a9dd.zip | |
Clean up processing of archive files
The same filtering of sub directories is done in archive_subdirs/1
and try_archive_subdirs/1. Actually, archive_subdirs/1 does nothing
useful. It can be removed and all_archive_subdirs/1 can be renamed
to archive_subdirs/1.
In try_archive_subdirs/1, we can also replace filename:join/1
with the cheaper filename:append/1, since we know that pathnames
have already been normalized.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions