diff options
Diffstat (limited to 'tool')
| -rwxr-xr-x | tool/ifchange | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tool/ifchange b/tool/ifchange index 5ff8276b03..c54b8fbb03 100755 --- a/tool/ifchange +++ b/tool/ifchange @@ -1,6 +1,7 @@ #!/bin/sh # usage: ifchange target temporary +set -e timestamp= keepsuffix= until [ "$0" = 0 ]; do @@ -37,7 +38,7 @@ if cmp "$target" "$temp" >/dev/null 2>&1; then rm -f "$temp" else echo "$target updated" - ${keepsuffix:+ mv -f "$target" "${target}${keepsuffix}" } + [ x"${keepsuffix}" = x ] || mv -f "$target" "${target}${keepsuffix}" mv -f "$temp" "$target" fi |