tree 34afec9ecf873d4e9b2e057c59f4160bf4aeb933
parent 7f47685e662aa4ba17c58d903bc474a35a730444
author Andrew Flynn <flynn@google.com> 1337373532 -0700
committer Andrew Flynn <flynn@google.com> 1337373532 -0700

Use different cling for custom workspace

Change-Id: I55c53439936d8c300fbb0718216d441f4bab4215