3005c6d15f4763599f2887ced177b16ef359c23e
[releng.git] / jjb / doctor / t.sh
1 #!/bin/bash
2 set -e
3 set -o pipefail
4
5
6 [[ $GERRIT_CHANGE_NUMBER =~ .* ]]
7
8
9 echo "done"