[ci] Tweak macos and psvita bots (#1638)
authorEbrahim Byagowi <ebrahim@gnu.org>
Thu, 28 Mar 2019 23:57:56 +0000 (16:57 -0700)
committerGitHub <noreply@github.com>
Thu, 28 Mar 2019 23:57:56 +0000 (16:57 -0700)
commit7360265e69a8cdaa9f993c36def2860a79cca49f
treef6aeb711ce5b5e491ef4284ab8224ebcd8074de7
parenta548d1da78b506cc6460fdde3715f6ef13ccad48
[ci] Tweak macos and psvita bots (#1638)

* Add --with-graphite2 to macOS
* Add a dummy ragel script for psvita
.circleci/config.yml