diff options
| author | Ori Bernstein <ori@eigenstate.org> | 2022-02-27 04:27:56 +0000 |
|---|---|---|
| committer | Ori Bernstein <ori@eigenstate.org> | 2022-02-27 04:27:56 +0000 |
| commit | 840d16912a39d1207a2ceb82755f690e15f17e4b (patch) | |
| tree | 546f84d96aa12b7f5aa6c03ba6449970580e3b3a | |
| parent | fd1cfc824aa780c784fbb001932b7c51842cc919 (diff) | |
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.
| -rw-r--r-- | sys/src/cmd/git/revert | 1 |
1 files changed, 1 insertions, 0 deletions
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 '' |