diff deploy/linux/docker/build.sh @ 1745:3587df7758e7

Strangely the three files seem to be installed if we have them in this order, but not the other order. Must be missing something here.
author Chris Cannam
date Wed, 04 Oct 2017 21:03:24 +0100
parents 56b268b96fcb
children 12b96d6b1d66
line wrap: on
line diff