diff options
Diffstat (limited to 'etc/ci/manifest_changed.sh')
-rwxr-xr-x | etc/ci/manifest_changed.sh | 18 |
1 files changed, 1 insertions, 17 deletions
diff --git a/etc/ci/manifest_changed.sh b/etc/ci/manifest_changed.sh index 1da26c66bca..19accbfb3a2 100755 --- a/etc/ci/manifest_changed.sh +++ b/etc/ci/manifest_changed.sh @@ -8,20 +8,4 @@ set -o errexit set -o nounset set -o pipefail -echo "About to update manifest." - -# We shouldn't need any binary at all to update the manifests. -# Adding "SKIP_TESTS" to skip tests, it doesn't really skip the tests. -# It will run "run_wpt" with "'test_list': ['SKIP_TESTS']", -# and then pass it into wptrunner, which won't be able to find any tests named -# "SKIP_TESTS", and thus won't run any. -# Adding "--binary=" to skip looking for a compiled servo binary. -./mach test-wpt --manifest-update --binary= SKIP_TESTS - -echo "Updated manifest; about to check if any changes were made to it." -echo "If a diff is present, please run './mach update-manifest' \ -and commit the change." - -diff="$(git diff -- tests/*/MANIFEST.json)" -echo "${diff}" -[[ -z "${diff}" ]] +./mach update-manifest --check-clean |