From 5fbecd08221482cfa7adb63fb5f8b23d52139a74 Mon Sep 17 00:00:00 2001 From: Marcel Koch Date: Tue, 14 Nov 2023 08:33:42 +0100 Subject: [PATCH] fixup! review comments: --- CMakeLists.txt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/CMakeLists.txt b/CMakeLists.txt index edea3ea6b83..53145efb536 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -355,7 +355,7 @@ endif() if(GINKGO_DEVEL_TOOLS) find_program(PRE_COMMIT pre-commit) - if(NOT ${PRE_COMMIT}) + if(NOT PRE_COMMIT) message(FATAL_ERROR "The pre-commit command was not found. It is necessary if you want to commit changes to Ginkgo. " "If that is not the case, set GINKGO_DEVEL_TOOLS=OFF. " "Otherwise install pre-commit via pipx (or pip) using:\n" @@ -367,7 +367,7 @@ if(GINKGO_DEVEL_TOOLS) RESULT_VARIABLE pre-commit-result OUTPUT_VARIABLE pre-commit-output ERROR_VARIABLE pre-commit-error) - if(${pre-commit-result}) + if(pre-commit-result) message(FATAL_ERROR "Failed to install the git hooks via pre-commit. Please check the error message:\n" "${pre-commit-output}\n${pre-commit-error}")