Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-03 12:40:06 +01:00
Code Issues Projects Releases Packages Wiki Activity

Auto merge of #19336 - servo:jdm-patch-6, r=emilio

Browse source 
Instruct how to deal with outdated manifests.

<!-- Reviewable:start -->
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/19336)
<!-- Reviewable:end -->
This commit is contained in:
bors-servo 2017-11-22 10:36:04 -06:00 • committed by GitHub
commit 218edeb883
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
etc/ci/manifest_changed.sh
View file

@ -19,6 +19,8 @@ echo "About to update manifest."
./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}"