tree 977fc4224cf72e851f89ad9217b297d6482bb28f
parent dc242550f035fb35a5cf97ddb6c4b837c1801feb
author Cosmos Nicolaou <cnicolaou@google.com> 1447787581 -0800
committer Cosmos Nicolaou <cnicolaou@google.com> 1447787581 -0800

v.io/jiri/profiles/commandline: --rm-all should error out if there are no profiles installed.

Change-Id: Iee11518e700a9e0203d095191be8c439efc52d97