From b6c9e2f760137d52febd2e984d07bc26c1a2a212 Mon Sep 17 00:00:00 2001 From: Andrea Fassina Date: Fri, 26 May 2023 09:46:10 +0200 Subject: [PATCH] tools: fix lint V8 --- tools/dep_updaters/update-v8-patch.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tools/dep_updaters/update-v8-patch.sh b/tools/dep_updaters/update-v8-patch.sh index 9e6756836c46bc..53f10766426be3 100755 --- a/tools/dep_updaters/update-v8-patch.sh +++ b/tools/dep_updaters/update-v8-patch.sh @@ -26,8 +26,8 @@ CURRENT_PATCH_VERSION=$(grep "#define V8_PATCH_LEVEL" "$DEPS_DIR/v8/include/v8-v NEW_VERSION="$CURRENT_MAJOR_VERSION.$CURRENT_MINOR_VERSION.$CURRENT_BUILD_VERSION.$CURRENT_PATCH_VERSION" -# Update the version number. We need to call this function twice to update -# both V8 and v8 (upper/lower case) +# Update the version number. We have to call it twice because V8 is written +# both in lowercase and uppdercase update_dependency_version "v8" "$NEW_VERSION" update_dependency_version "V8" "$NEW_VERSION"