ref: 840d16912a39d1207a2ceb82755f690e15f17e4b
parent: fd1cfc824aa780c784fbb001932b7c51842cc919
author: Ori Bernstein <[email protected]>
date: Sat Feb 26 23:27:56 EST 2022
git/revert: update modification time on revert when reverting files, 'cp -x' updates the mtime to the time the file was committed. this prevents 'mk' from rebuilding the file, leading to stale builds. this change touches the file on revert, so that we rebuild the file.
--- a/sys/src/cmd/git/revert
+++ b/sys/src/cmd/git/revert
@@ -16,6 +16,7 @@
for(f in `$nl{cd $commit/tree/ && walk -f ./$files}){ mkdir -p `{basename -d $f}cp -x -- $commit/tree/$f $f
+ touch $f
git/add $f
}
exit ''