diff options
| author | Silvio Rhatto <rhatto@riseup.net> | 2013-01-26 13:58:04 -0200 |
|---|---|---|
| committer | Silvio Rhatto <rhatto@riseup.net> | 2013-01-26 13:58:04 -0200 |
| commit | 8978259e9d1fb7c9592cf41a4b5a78694621c34e (patch) | |
| tree | 2def00d87cbcefd60974da23cca651211b15c2ca | |
| parent | 52ee9fc170d983c94a5f310cb7bece3c7d11d69e (diff) | |
| download | puppet-puppet-8978259e9d1fb7c9592cf41a4b5a78694621c34e.tar.gz puppet-puppet-8978259e9d1fb7c9592cf41a4b5a78694621c34e.tar.bz2 | |
Exit on errors at the update script
| -rw-r--r-- | files/update-puppet-conf.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/files/update-puppet-conf.sh b/files/update-puppet-conf.sh index 5e9adae..9a2dd65 100644 --- a/files/update-puppet-conf.sh +++ b/files/update-puppet-conf.sh @@ -12,9 +12,9 @@ unset GIT_DIR if [ -d "${PUPPET_DIR}/.git" ] && [ -d "${ORIGIN_DIR}" ]; then cd ${PUPPET_DIR} - #git checkout -f - git reset HEAD --hard - git pull ${ORIGIN_DIR} master + #git checkout -f || exit $? + git reset HEAD --hard || exit $? + git pull ${ORIGIN_DIR} master || exit $? # See https://github.com/git/git/commit/c1c259e225cf39c7353c673ad2c7c84450d909c1 git submodule update --init | grep -v "^Submodule " git clean -d -f |