2015-06-23 20:46:47 +03:00
|
|
|
#!/usr/bin/env bash
|
2015-06-08 02:34:01 +03:00
|
|
|
|
2017-07-26 02:30:20 +03:00
|
|
|
set -euo pipefail
|
|
|
|
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
|
|
|
|
|
2017-09-20 23:17:47 +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 "$@"
|