diff options
| -rw-r--r-- | CMakeLists.txt | 4 | 
1 files changed, 1 insertions, 3 deletions
| diff --git a/CMakeLists.txt b/CMakeLists.txt index 3ab7062019..2879b57061 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -290,9 +290,7 @@ install_helper(  file(GLOB_RECURSE RUNTIME_PROGRAMS    RELATIVE ${CMAKE_CURRENT_SOURCE_DIR} -  runtime/*.pl runtime/*.awk runtime/*.sh -  runtime/tools/ref -  runtime/tools/vimm) +  runtime/*.awk runtime/*.sh)  foreach(PROG ${RUNTIME_PROGRAMS})    get_filename_component(BASEDIR ${PROG} PATH) | 
