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

Address tidy checks.

Browse source
This commit is contained in:
Josh Matthews 2017-11-22 10:48:51 -05:00 • committed by GitHub
parent b501c8fa03
commit b45e4fecff
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
etc/ci/manifest_changed.sh
View file

@ -19,7 +19,8 @@ echo "About to update manifest."
./mach test-wpt --manifest-update --binary= SKIP_TESTS ./mach test-wpt --manifest-update --binary= SKIP_TESTS
echo "Updated manifest; about to check if any changes were made to it." 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." echo "If a diff is present, please run './mach update-manifest' \
and commit the change."
diff="$(git diff -- tests/*/MANIFEST.json)" diff="$(git diff -- tests/*/MANIFEST.json)"
echo "${diff}" echo "${diff}"