diff options
Diffstat (limited to 'mpm/tools/CMakeLists.txt')
| -rw-r--r-- | mpm/tools/CMakeLists.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mpm/tools/CMakeLists.txt b/mpm/tools/CMakeLists.txt index 245720656..387cee46a 100644 --- a/mpm/tools/CMakeLists.txt +++ b/mpm/tools/CMakeLists.txt @@ -7,6 +7,7 @@ install(PROGRAMS mpm_shell.py mpm_debug.py + check-filesystem DESTINATION ${RUNTIME_DIR} ) |