Instruct how to deal with outdated manifests.

servo · Nov 22, 2017 · b501c8f · b501c8f
1 parent 3ecd017
commit b501c8f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/etc/ci/manifest_changed.sh b/etc/ci/manifest_changed.sh
@@ -19,6 +19,7 @@ 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}"