doc: update supported versions of clang
[isl.git] / cp_if_different.sh
blobf321a8d13b28fed5ad418019c74b37bd1ef09d52
1 #/bin/sh
2 # Copy $SRC to $DST unless $DST already exists and has the same contents.
3 SRC="$1"
4 DST="$2"
6 if cmp -s "$SRC" "$DST" 2>/dev/null; then
8 else
9 cp "$SRC" "$DST"