diff options
Diffstat (limited to 'cmake/string_to_list.cmake')
| -rw-r--r-- | cmake/string_to_list.cmake | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/cmake/string_to_list.cmake b/cmake/string_to_list.cmake deleted file mode 100644 index 65c04413..00000000 --- a/cmake/string_to_list.cmake +++ /dev/null @@ -1,13 +0,0 @@ -#===------------------------------------------------------------------------===# -# -# The KLEE Symbolic Virtual Machine -# -# This file is distributed under the University of Illinois Open Source -# License. See LICENSE.TXT for details. -# -#===------------------------------------------------------------------------===# - -function(string_to_list s output_var) - string(REPLACE " " ";" _output "${s}") - set(${output_var} ${_output} PARENT_SCOPE) -endfunction() |