comparison deploy/linux/docker/Dockerfile_deb.in @ 651:916b55fa197a

Er, also add Boost path for 64-bit build...
author Chris Cannam
date Tue, 22 Oct 2019 20:45:00 +0100
parents 48802b1c9c1e
children
comparison
equal deleted inserted replaced
650:83cda426a045 651:916b55fa197a