[ci] Whitelist more symbols and unbreak mac CI
authorEbrahim Byagowi <ebrahim@gnu.org>
Mon, 10 Oct 2016 13:57:52 +0000 (17:27 +0330)
committerEbrahim Byagowi <ebrahim@gnu.org>
Tue, 11 Oct 2016 13:42:08 +0000 (17:12 +0330)
commitbef240b36ee9086b0d92e351e4c5118c0bbb5df6
treef0ad689c641e29e84215d2c11fd4ad09a97b026a
parent7201fdd0a8e26d49b13e289b53de375d5b1c9fcb
[ci] Whitelist more symbols and unbreak mac CI

Thanks to @khaledhosny, actually this is his work :)
src/check-symbols.sh