tree 379810cb7058af0ae30e7838b7dd5ed849d93ad1
parent 804030bbfc6edde599875f5a716d173a56e0d51f
author Zack Williams <zdw@cs.arizona.edu> 1507159866 -0700
committer Zack Williams <zdw@cs.arizona.edu> 1507161092 -0700

[CORD-2032]

Fix issue with clean-profile's deletion of cord_profile directory
breaking corddev VM

Change-Id: I0e74126b91ef9ce41be1ac1ee4d103f859d3356b