Merge "Configuration: Use 'is_in' instead of echo | grep"
authorJohann Koenig <johannkoenig@google.com>
Sun, 19 Jun 2016 23:51:33 +0000 (23:51 +0000)
committerGerrit Code Review <noreply-gerritcodereview@google.com>
Sun, 19 Jun 2016 23:51:33 +0000 (23:51 +0000)
1  2 
build/make/configure.sh

Simple merge