tree 96e9a152fe7e7ee03135e1fb8b30cea7b1b1ba5b
parent 0ca6d38bc375cc8f1e6f99c896f98266eaef6a12
parent a80651c483cb74e0596be928bf6212eee852f7f3
author Gilles Peskine <gilles.peskine@arm.com> 1597310663 +0200
committer GitHub <noreply@github.com> 1597310663 +0200
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJfNQbHCRBK7hj4Ov3rIwAAdHIIALJTS8OdqcuXj0rQGMEfO1UP
 b4smU4HZFJHbz70exGU3ru4318mscujRFAU4S1O4rWObAmNwBYSOYTThNkHaiqHi
 dgPFFVvEoz9iMsAmOokH7g+O4tWt6c61R/mDohTqzNm5OuNN0UksAzesnEMbQJmG
 PSmGs7aOQuQuJtZpFlVxjCjceZHmEWR+ZztXKqc5mJVYlqeq8bzZ/IQO0AW9ydbL
 AtQEu3SMypIScR9YGmYV4i2as/OwhxazB3/BwhEJhGoONQfyf9xPRxULzmsE7/26
 OB3fHE18gpDlCePiDPws51iUvuXzbCitA0RuQAhuJvrfsViBE1ww8TRmbPYgtGI=
 =Sh5x
 -----END PGP SIGNATURE-----
 

Merge pull request #3495 from mpg/check-generated-files

Add update option to check-generated-files