diff --git a/polly/lib/External/CMakeLists.txt b/polly/lib/External/CMakeLists.txt
index 5dd69b7199dc0..ab5cba93cdcfe 100644
--- a/polly/lib/External/CMakeLists.txt
+++ b/polly/lib/External/CMakeLists.txt
@@ -27,7 +27,7 @@ if (POLLY_BUNDLED_ISL)
     # The source directory is preconfigured
     file(READ "${ISL_SOURCE_DIR}/gitversion.h" GITVERSION_H)
     string(REGEX REPLACE ".*\\\"([^\\\"]*)\\\".*" "\\1" ISL_GIT_HEAD_ID "${GITVERSION_H}")
-  elseif ()
+  else ()
     # Unknown revision
     # TODO: We could look for a .git and get the revision from HEAD
     set(ISL_GIT_HEAD_ID "UNKNOWN")