diff options
author | mitchell <70453897+orbitalquark@users.noreply.github.com> | 2022-02-25 22:14:26 -0500 |
---|---|---|
committer | mitchell <70453897+orbitalquark@users.noreply.github.com> | 2022-02-25 22:14:26 -0500 |
commit | c60ae0140fb56996ea932d67aa7b65519c6fee8f (patch) | |
tree | 5bca81c05fcd91bc8de8c4bbd0c8de44921a304e | |
parent | d3f379088587cbd8232144848debda0e8d2c5a6f (diff) |
When updating Scintilla from hg, preserve the current revision.
Otherwise it'll update to tip instead of staying at a particular tag.
-rw-r--r-- | src/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Makefile b/src/Makefile index 656e77b7..48e27df5 100644 --- a/src/Makefile +++ b/src/Makefile @@ -451,7 +451,7 @@ cloc_zip := v1.90.zip $(scintilla_tgz): ; $(WGET) https://www.scintilla.org/$@ scintilla: scintilla.patch | $(scintilla_tgz) if [ -d $@/.hg ]; then \ - hg --cwd $@ update -C; \ + hg --cwd $@ update -C -r `hg --cwd $@ summary | head -1 | cut -d: -f2`; \ else \ if [ -d $@ ]; then rm -r $@; fi; \ tar xzf $|; \ |