| Leopold Schabel | 2983d72 | 2019-10-23 12:16:42 +0200 | [diff] [blame] | 1 | #!/bin/bash |
| Leopold Schabel | 2a2081c | 2019-10-23 13:33:10 +0200 | [diff] [blame^] | 2 | set -euo pipefail |
| Leopold Schabel | 2983d72 | 2019-10-23 12:16:42 +0200 | [diff] [blame] | 3 | |
| Leopold Schabel | 2a2081c | 2019-10-23 13:33:10 +0200 | [diff] [blame^] | 4 | DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" |
| 5 | $DIR/../run_in_container.sh bazelisk $@ | ||||