This repository has been archived by the owner on Apr 22, 2020. It is now read-only.
sanity-check.sh: disable some spurious warnings#126
Merged
jonathanhaigh-arm merged 2 commits intomasterfrom jh-sanity-checkJan 29, 2019
+8-2
