script: make osx devs happy

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