repo.or.cz
/
isl.git
/
blob
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
doc: update supported versions of clang
[isl.git]
/
cp_if_different.sh
blob
f321a8d13b28fed5ad418019c74b37bd1ef09d52
1
#/bin/sh
2
# Copy $SRC to $DST unless $DST already exists and has the same contents.
3
SRC
=
"
$1
"
4
DST
=
"
$2
"
5
6
if
cmp
-s
"
$SRC
"
"
$DST
"
2
>/
dev
/
null
;
then
7
:
8
else
9
cp
"
$SRC
"
"
$DST
"
10
fi