script: make osx devs happy

Change-Id: Ibdf64b907a4c2204b9fd1c5040a25240533901de
Merge branch 'cm-11.0' into kk_mkt