diff --git a/src/cmd-build b/src/cmd-build index 322906837e705d65df556a5fa1d18baec1419f28..7bb3dd20c0845388ffbd712ebbb8ca158211fe4f 100755 --- a/src/cmd-build +++ b/src/cmd-build @@ -502,7 +502,7 @@ if [ "${SKIP_PRUNE}" == 1 ]; then else "${dn}"/cmd-prune --workdir "${workdir}" fi -rm builds/.build-commit +rm -f builds/.build-commit if [ -n "${TAG}" ]; then # ideally, we'd do this atomically before moving to builds/latest, but