Added support to conditionally install Prestissimo

This commit is contained in:
Jack Fletcher
2016-06-22 21:47:06 +01:00
parent ca413edff4
commit bcb749151a
3 changed files with 12 additions and 2 deletions

View File

@ -153,7 +153,10 @@ services:
### Workspace Utilities Container ###########################
workspace:
build: ./workspace
build:
context: ./workspace
args:
INSTALL_PRESTISSIMO: ${INSTALL_PRESTISSIMO}
volumes_from:
- application
tty: true