Enable -inline-helpers

This commit is contained in:
Alessandro Di Federico
2021-04-30 14:52:25 +02:00
parent 0c671ea7ae
commit 2c7fa21065
2 changed files with 9 additions and 0 deletions
+3
View File
@@ -78,6 +78,9 @@ macro(artifact_handler CATEGORY INPUT_FILE CONFIGURATION OUTPUT TARGET_NAME)
--enforce-abi
--promote-csvs
--invoke-isolated-functions
--inline-helpers
--promote-csvs
--remove-exceptional-functions
-o "${OUTPUT}")
set(DEPEND_ON revng-all-binaries)
endif()
+6
View File
@@ -57,6 +57,9 @@ macro(artifact_handler CATEGORY INPUT_FILE CONFIGURATION OUTPUT TARGET_NAME)
--enforce-abi
--promote-csvs
--invoke-isolated-functions
--inline-helpers
--promote-csvs
--remove-exceptional-functions
-o "${OUTPUT}")
set(DEPEND_ON revng-all-binaries)
endif()
@@ -74,6 +77,9 @@ macro(artifact_handler CATEGORY INPUT_FILE CONFIGURATION OUTPUT TARGET_NAME)
--enforce-abi
--promote-csvs
--invoke-isolated-functions
--inline-helpers
--promote-csvs
--remove-exceptional-functions
-o "${OUTPUT}")
set(DEPEND_ON revng-all-binaries)
endif()