tree a07ccdccf2d154900e5068a6ca6df6416662fb88
parent 003a6a3e1032d882aeff250d3098d48e1315ef1f
author Dean Troyer <dtroyer@gmail.com> 1393526488 -0600
committer Dean Troyer <dtroyer@gmail.com> 1393526492 -0600

Handle non-zero exit code from git diff

The check for a changed repo in setup_develop() 'git diff --exit-code'
returns a status of 1 when the repo has changes; trap that so errexit
does not abort the script.

Bug-Id: 1285780
Change-Id: Ic97e68348f46245b271567893b447fcedbd7bd6e