From 840d16912a39d1207a2ceb82755f690e15f17e4b Mon Sep 17 00:00:00 2001
From: Ori Bernstein <ori@eigenstate.org>
Date: Sun, 27 Feb 2022 04:27:56 +0000
Subject: [PATCH] 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.
---
 sys/src/cmd/git/revert | 1 +
 1 file changed, 1 insertion(+)

diff --git a/sys/src/cmd/git/revert b/sys/src/cmd/git/revert
index 4174d6bc0..1adb0d2e6 100644
--- a/sys/src/cmd/git/revert
+++ b/sys/src/cmd/git/revert
@@ -16,6 +16,7 @@ files=`$nl{cleanname -d $gitrel $* | drop $gitroot}
 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 ''