2015-03-23 22:16:14 +01:00
|
|
|
#!/bin/bash
|
|
|
|
|
#
|
2017-03-17 04:35:10 +01:00
|
|
|
# Backwards compatibility for jenkins
|
2016-01-15 22:35:26 +01:00
|
|
|
#
|
|
|
|
|
# TODO: remove this script after all current PRs and jenkins are updated with
|
|
|
|
|
# the new script/test/ci change
|
|
|
|
|
set -e
|
|
|
|
|
exec script/test/ci
|
