make: Fix OR_TOOLS_PATCH computation

2024-08-29 21:23:12 +02:00
parent 94f3733d73
commit 6247c19345
1 changed files with 1 additions and 1 deletions
--- a/makefiles/Makefile.port.mk
+++ b/makefiles/Makefile.port.mk
@@ -288,7 +288,7 @@ ifeq ($(OR_TOOLS_PATCH),)
    $(warning you are using a shallow copy)
    OR_TOOLS_PATCH:= 9999
   else
-     OR_TOOLS_PATCH:= $(shell git rev-list --count --quiet v$(OR_TOOLS_MAJOR).0..HEAD || echo 0)
+     OR_TOOLS_PATCH:= $(shell git rev-list --count v$(OR_TOOLS_MAJOR).0..HEAD || echo 0)
   endif
  else
    $(warning you are not using a .git archive)