diff options
author | Jan Alexander Steffens (heftig) <jan.steffens@gmail.com> | 2017-07-13 19:43:52 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2017-07-14 07:00:40 +0200 |
commit | d7a281d9820d11cc0b9b57791b419fc20d3ed68e (patch) | |
tree | f2d048262099391c202e1ea033e82a6bd9f5fc1e /archrm | |
parent | 0f82a9d2ea0d049906148cc6ba1cb2c4ff7d1d86 (diff) | |
download | devtools32-20170714.tar.xz |
makechrootpkg: Skip integrity checks inside the chrootv20170714archlinux32/v20170714
We've already done these during download_sources().
Diffstat (limited to 'archrm')
0 files changed, 0 insertions, 0 deletions