diff options
| author | Nay <dnpd.dd@gmail.com> | 2012-08-22 22:56:31 +0100 |
|---|---|---|
| committer | Nay <dnpd.dd@gmail.com> | 2012-08-22 22:56:31 +0100 |
| commit | da9480557b3f191efab08d6aaf75a21a62512252 (patch) | |
| tree | d459cf79221b3cc183ba6fc4074b266de2e8046f /src/tools/map_extractor | |
| parent | 7ab976034c4a72cd97bbfad5112e6af783c52936 (diff) | |
Core: Fix a typo and whitespace cleanup
Diffstat (limited to 'src/tools/map_extractor')
| -rw-r--r-- | src/tools/map_extractor/CMakeLists.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/map_extractor/CMakeLists.txt b/src/tools/map_extractor/CMakeLists.txt index af66b73827e..b84e56e5734 100644 --- a/src/tools/map_extractor/CMakeLists.txt +++ b/src/tools/map_extractor/CMakeLists.txt @@ -33,5 +33,5 @@ add_dependencies(mapextractor storm) if( UNIX ) install(TARGETS mapextractor DESTINATION bin) elseif( WIN32 ) - install(TARGETS mapextractor DESTINATION "${CMAKE_INSTALL_PREFIX}") + install(TARGETS mapextractor DESTINATION "${CMAKE_INSTALL_PREFIX}") endif() |