diff options
| -rwxr-xr-x | bin/snapshot | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/bin/snapshot b/bin/snapshot index 5bf1931..3b29e2b 100755 --- a/bin/snapshot +++ b/bin/snapshot @@ -255,6 +255,9 @@ if [ "$cmd" = "all" -o -n "$cmdrel" ]; then fi # Replace the previous version with the current version. + # Should check if the errcode of the release process but there + # are other failures after release was done (e.g. h5vers or cvs failures) + # that should allow the replacement to occure. rm -rf ${PREVIOUS} mv ${CURRENT} ${PREVIOUS} fi #Release snapshot |