Skip to content

Commit

Permalink
[DEBUG] Temporarily enable profiler for testing in CI
Browse files Browse the repository at this point in the history
  • Loading branch information
cameel committed Oct 11, 2024
1 parent 68167f1 commit 99621dc
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion CMakeLists.txt
Original file line number Diff line number Diff line change
Expand Up @@ -36,7 +36,7 @@ option(SOLC_LINK_STATIC "Link solc executable statically on supported platforms"
option(SOLC_STATIC_STDLIBS "Link solc against static versions of libgcc and libstdc++ on supported platforms" OFF)
option(STRICT_Z3_VERSION "Require the exact version of Z3 solver expected by our test suite." ON)
option(PEDANTIC "Enable extra warnings and pedantic build flags. Treat all warnings as errors." ON)
option(PROFILE_OPTIMIZER_STEPS "Output performance metrics for the optimiser steps." OFF)
option(PROFILE_OPTIMIZER_STEPS "Output performance metrics for the optimiser steps." ON)
option(
IGNORE_VENDORED_DEPENDENCIES
"Ignore libraries provided as submodules of the repository and allow CMake to look for \
Expand Down

0 comments on commit 99621dc

Please sign in to comment.