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)
commit188420f4fda3161bf69a5b571476a23bdb55b8ec
tree63473f5514ccc363468a773ac66e09fc84275b33
parent7a3d48e56f33189d90c6433a1cb97ab36770915b
parent1de5ba75be039128259e13aac85f6b477ff13997
Merge "Configuration: Use 'is_in' instead of echo | grep"
build/make/configure.sh