diff options
| -rw-r--r-- | third-party/CMakeLists.txt | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/third-party/CMakeLists.txt b/third-party/CMakeLists.txt index 66d43ff7ca..793be3172d 100644 --- a/third-party/CMakeLists.txt +++ b/third-party/CMakeLists.txt @@ -43,7 +43,11 @@ if(CMAKE_GENERATOR MATCHES "Makefiles") set(MAKE_PRG "$(MAKE)") endif() -set(DEPS_C_COMPILER "${CMAKE_C_COMPILER} ${CMAKE_C_COMPILER_ARG1}") +if(CMAKE_C_COMPILER_ARG1) + set(DEPS_C_COMPILER "${CMAKE_C_COMPILER} ${CMAKE_C_COMPILER_ARG1}") +else() + set(DEPS_C_COMPILER "${CMAKE_C_COMPILER}") +endif() include(ExternalProject) |