Commit 554a3b2b authored by Andrew Twyman's avatar Andrew Twyman

Fix rsync commands to not update timestamps on unchanged contents

parent 69ebe88c
......@@ -80,7 +80,7 @@ mirror() {
local src="$1" ; shift
local dest="$1" ; shift
mkdir -p "$dest"
rsync -a --delete --checksum --itemize-changes "$src"/ "$dest" | grep -v '^\.' | sed "s/^/[$prefix]/"
rsync -r --delete --checksum --itemize-changes "$src"/ "$dest" | sed "s/^/[$prefix]/"
}
echo "Copying generated code to final directories..."
......
......@@ -157,7 +157,7 @@ mirror() {
local src="$1" ; shift
local dest="$1" ; shift
mkdir -p "$dest"
rsync -a --delete --checksum --itemize-changes "$src"/ "$dest" | grep -v '^\.' | sed "s/^/[$prefix]/"
rsync -r --delete --checksum --itemize-changes "$src"/ "$dest" | sed "s/^/[$prefix]/"
}
echo "Copying generated code to final directories..."
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment