tree de691b83cd27d92536e36c20e9e4746f33935e07
parent 21980124f6aeb923cea50895eab8d6b9c31aba4a
author Xavier Ducrohet <xav@google.com> 1399577180 -0700
committer Xavier Ducrohet <xav@google.com> 1399577180 -0700

Fix repo script to ignore tools

Change-Id: I80e6d5802f9a4633378d432eff3e91c2fcf83eeb