[cmake] fixed generation of <gui-tool>_icon.rs files

mCRL2org · Sep 1, 2018 · a98dd91 · a98dd91
1 parent f824773
commit a98dd91
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/build/cmake/AddMCRL2Binary.cmake b/build/cmake/AddMCRL2Binary.cmake
@@ -88,7 +88,7 @@ function(_add_resource_files TARGET_NAME TOOLNAME DESCRIPTION ICON SOURCE_FILES)
     string(REPLACE "M" "" REVISION ${MCRL2_MINOR_VERSION})
     if(NOT MCRL2_PACKAGE_RELEASE)
       set(FILEFLAGS "VS_FF_PRERELEASE")
-    elseif()
+    else()
       set(FILEFLAGS "VER_DBG")
     endif()
     set(ICOFILE ${CMAKE_SOURCE_DIR}/build/packaging/icons/${ICON}.ico)