tree f6aeb711ce5b5e491ef4284ab8224ebcd8074de7
parent a548d1da78b506cc6460fdde3715f6ef13ccad48
author Ebrahim Byagowi <ebrahim@gnu.org> 1553817476 -0700
committer GitHub <noreply@github.com> 1553817476 -0700
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJcnV+ECRBK7hj4Ov3rIwAAdHIIAIQygX4YzR1Oo3e2pb8Bimdo
 icF238vkRlu1oW4aEfnltxdyowIUBR9urnBwQGoAQSpnSOFUgRnTUJ2FMWFAzCq5
 NWJtkIcaCxuEIC+o3NC97JvdZPZh3WxYJ/KYlhs8zvs8DHVpYCD3NaJ+cQzLhFzL
 aogppDp4N38XNiBs8xoi5hfxmZLi89/Ro73TPhf2lZ2AxoDDoP72YrKI1L+fNb1M
 VOWh3c5CRBbO1HYJzpYM62J1eRdgPUP/wV60o0qAAOjOB8TusyB+Zedzktel8QN9
 27oA60hUaOuTDPzwva+P6JuxTi04vqNDtjdVvAFPYLV/2Ad3cjAdAHDwtffUdU8=
 =ZnsJ
 -----END PGP SIGNATURE-----
 

[ci] Tweak macos and psvita bots (#1638)

* Add --with-graphite2 to macOS
* Add a dummy ragel script for psvita