2020-11-19 15:50:16 +01:00
|
|
|
#! /bin/bash
|
|
|
|
|
2020-11-26 16:19:08 +01:00
|
|
|
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
|
|
|
|
|
2020-11-19 15:50:16 +01:00
|
|
|
java -version
|
2021-02-03 10:55:07 +01:00
|
|
|
|
2020-11-26 16:19:08 +01:00
|
|
|
exec bash $DIR/build.sh
|