Install file-dev in Dockerfile build stage
authorMichael Walker <mike@barrucadu.co.uk>
Thu, 12 Nov 2020 22:20:17 +0000 (22:20 +0000)
committerMichael Walker <mike@barrucadu.co.uk>
Thu, 12 Nov 2020 22:20:17 +0000 (22:20 +0000)
commitc09813193a3429bbab3a3310d9c4b9b75efd6154
treec393293d8dcf996ad02cc02ac6c8e675d99119ad
parent6ca709816f74f1171423c7bc040619fca57a2087
Install file-dev in Dockerfile build stage

This is required by the majic, added in #2534.
Dockerfile