diff options
Diffstat (limited to 'production')
| -rwxr-xr-x | production/check-swt-buildinput.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/production/check-swt-buildinput.sh b/production/check-swt-buildinput.sh index 841331ce5..531db7a3b 100755 --- a/production/check-swt-buildinput.sh +++ b/production/check-swt-buildinput.sh @@ -30,7 +30,7 @@ pushd $BUILD_ROOT/gitCache/eclipse.platform.releng.aggregator/eclipse.platform.s commit=$(git log --pretty=oneline -1|cut -d' ' -f2-) popd -if [[ $commit == v[0-9][0-9][0-9][0-9] ]]; then +if [[ $commit == v[0-9][0-9][0-9][0-9]r[0-9]* ]]; then echo "SWT build input successful" exit 0 else |