tree 207a2422bff750b65721fd10378681b3bc49dcd4
parent 34cf51471a40d55dd63897daf855fec8179b0f7f
author Elliott Hughes <enh@google.com> 1327110413 -0800
committer Elliott Hughes <enh@google.com> 1327110413 -0800

Work around unexplained $(filter-out) trouble.

($filter-out) was leaving us with the empty list. Manually write out the
two choices.

Change-Id: Ib79677164f25b447418d75382b831659d0c7332d