Changeset 8080

Timestamp:

Mar 16, 2011, 5:28:30 AM (14 years ago)

Author:

rgrieder

Message:

Added another possible file extension for source files.
@Kevin: Is *.mm correct?

File:

• code/branches/kicklib/cmake/tools/TargetUtilities.cmake (modified) (1 diff)

code/branches/kicklib/cmake/tools/TargetUtilities.cmake

@@ -236 +236 @@
   # Don't compile header files
   FOREACH(_file ${_${_target_name}_files})
-    IF(NOT _file MATCHES "\\.(c|cc|cpp|cxx)$")
+    IF(NOT _file MATCHES "\\.(c|cc|cpp|cxx|mm)$")
       SET_SOURCE_FILES_PROPERTIES(${_file} PROPERTIES HEADER_FILE_ONLY TRUE)
     ENDIF()