2015-09-18 00:05:33 +03:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
|
2017-07-26 02:31:31 +03:00
|
|
|
set -euo pipefail
|
|
|
|
|
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
|
|
|
|
|
|
2017-09-20 23:19:32 +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 "$@"
|
