Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Newer
Older
100644 13 lines (11 sloc) 0.247 kb
060a70f new (for src/library/*/src/Makefile)
maechler authored
1 # Like cp $1 $2, but if the files are the same, do NOTHING.
2 # Status is 0 if $2 is changed, 1 otherwise.
3
6ae8485 Try to handle white space in file paths.
hornik authored
4 if test -r "$2"; then
5 if cmp "$1" "$2" > /dev/null; then
6 echo "$2" is unchanged
060a70f new (for src/library/*/src/Makefile)
maechler authored
7 else
6ae8485 Try to handle white space in file paths.
hornik authored
8 cp -f "$1" "$2"
060a70f new (for src/library/*/src/Makefile)
maechler authored
9 fi
10 else
6ae8485 Try to handle white space in file paths.
hornik authored
11 cp "$1" "$2"
060a70f new (for src/library/*/src/Makefile)
maechler authored
12 fi
Something went wrong with that request. Please try again.