2016-10-01 00:48:00 +03:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
|
2017-07-26 02:30:28 +03:00
|
|
|
set -euo pipefail
|
|
|
|
|
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
|
|
|
|
|
|
2017-09-20 23:17:54 +03:00
|
|
|
# Call "sync" between "chmod" and execution to prevent "text file busy" error in Docker (aufs)
|
|
|
|
|
chmod +x "$DIR/run.sh"; sync
|
|
|
|
|
"$DIR/run.sh" default-build "$@"
|
