2018-04-30 23:13:11 +02:00
|
|
|
#!/bin/sh
|
2018-07-15 21:55:35 +02:00
|
|
|
set -e
|
2018-04-30 23:13:11 +02:00
|
|
|
|
|
|
|
SOURCE_DIR=$(realpath $(dirname "${0}"))/basic-runtimes
|
|
|
|
|
|
|
|
# Build Docker images
|
2018-04-30 23:23:54 +02:00
|
|
|
docker build -t java ${SOURCE_DIR}/java
|
|
|
|
docker build -t php ${SOURCE_DIR}/php
|
|
|
|
docker build -t python2 ${SOURCE_DIR}/python2
|
|
|
|
docker build -t python3 ${SOURCE_DIR}/python3
|
|
|
|
docker build -t ruby ${SOURCE_DIR}/ruby
|
|
|
|
docker build -t tomcat ${SOURCE_DIR}/tomcat
|