Android 開発者向けオプション

開発者向けオプション(Developer options)が見当たらない端末(Galaxy Nexus)があって、デバッグモードでつないでadbコマンドを使うのにどうしたら？と思っていたらAndroid 4.2からは、［ビルド番号］を 7 回タップすると出てくる仕様になったのか！

結構、探してしまったのでメモ。