[ci] Use HB_OPTIMIZE_SIZE instead of __OPTIMIZE_SIZE__
authorEbrahim Byagowi <ebrahim@gnu.org>
Mon, 10 Jun 2019 15:16:51 +0000 (08:16 -0700)
committerGitHub <noreply@github.com>
Mon, 10 Jun 2019 15:16:51 +0000 (08:16 -0700)
commit4a2b58555f173b692b767c933d280a51142926dd
tree87329e723b4c8075b370f41e14b5be1344b865a8
parenta228bb5f1d471a334bc9727f5d4f5b59dbe829ff
[ci] Use HB_OPTIMIZE_SIZE instead of __OPTIMIZE_SIZE__
.circleci/config.yml