diff options
author | Barry Haddow <barry.haddow@gmail.com> | 2012-05-21 14:12:10 +0400 |
---|---|---|
committer | Barry Haddow <barry.haddow@gmail.com> | 2012-05-21 14:12:10 +0400 |
commit | 99c1d2b8aabe71142775105cd908218a61f31227 (patch) | |
tree | a433576241cc265f711996a10c29b8fd985f8488 /cruise-control | |
parent | 05acaf15e829d3e591c4228939f578c06b90af14 (diff) |
change regtest number
Diffstat (limited to 'cruise-control')
-rwxr-xr-x | cruise-control/test_all_new_commits.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cruise-control/test_all_new_commits.sh b/cruise-control/test_all_new_commits.sh index c0039c7eb..873691e22 100755 --- a/cruise-control/test_all_new_commits.sh +++ b/cruise-control/test_all_new_commits.sh @@ -44,7 +44,7 @@ GITREPO="$MCC_GITREPO" # location of moses regression test data archive (assumes url at the moment) REGTEST_ARCHIVE="$MCC_REGTEST_ARCHIVE" [ -n "$REGTEST_ARCHIVE" ] \ - || REGTEST_ARCHIVE="http://www.statmt.org/moses/reg-testing/moses-reg-test-data-9.tgz" + || REGTEST_ARCHIVE="http://www.statmt.org/moses/reg-testing/moses-reg-test-data-10.tgz" if [ ! -d "$WORKDIR" ]; then mkdir "$WORKDIR" || die "Failed to create workdir $WORKDIR" |