diff options
author | Alexandru Avadanii <Alexandru.Avadanii@enea.com> | 2016-08-31 15:29:04 +0200 |
---|---|---|
committer | Alexandru Avadanii <Alexandru.Avadanii@enea.com> | 2016-08-31 14:47:57 +0000 |
commit | 9bcd23fcc6e4c06f05002a7add2bcf2b3271ff14 (patch) | |
tree | c865aaff47631d6ba4cb89d4b16412dd96a26ed3 /ci/clean_cache.sh | |
parent | 9360af2ce5d4ccef3c58dc301384db5310a04300 (diff) |
docs: build req: Remove p7zip-full
p7zip-full is not required for building, as stated in the current
version of the docs. I think this bogus requirement was introduced
by Armband (by me, more precisely) because our build process was
happening outside docker.
Sorry for the useless code churn.
Change-Id: Id0a3c5b9016706535ca159e1da261e83c8d36d31
Signed-off-by: Alexandru Avadanii <Alexandru.Avadanii@enea.com>
(cherry picked from commit de6d5d4b6ba6848304d620e65ad97f3aeeadccd5)
Diffstat (limited to 'ci/clean_cache.sh')
0 files changed, 0 insertions, 0 deletions