From 73b7a44c848f8b2b87312269265b175d87dce37e Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Mon, 16 Jun 2014 16:55:16 -0700 Subject: [PATCH] fix(shell/CMakeFiles): typo Signed-off-by: Leonardo de Moura --- src/shell/CMakeLists.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/shell/CMakeLists.txt b/src/shell/CMakeLists.txt index 26d736725..d5f8db9f8 100644 --- a/src/shell/CMakeLists.txt +++ b/src/shell/CMakeLists.txt @@ -8,7 +8,7 @@ install(TARGETS lean DESTINATION bin) # add_test(example1_stdin3 ${LEAN_SOURCE_DIR}/cmake/redirect.sh ${CMAKE_CURRENT_BINARY_DIR}/lean "--lean" "${LEAN_SOURCE_DIR}/../tests/lean/single.lean") # add_test(lean_export ${CMAKE_CURRENT_BINARY_DIR}/lean "-o simple.olean" "${LEAN_SOURCE_DIR}/../tests/lean/run/simple.lean") add_test(lean_help1 ${CMAKE_CURRENT_BINARY_DIR}/lean --help) -add_test(lean_help2 ${CMAKE_CURRENT_BINARY_DIR}/lean --h) +add_test(lean_help2 ${CMAKE_CURRENT_BINARY_DIR}/lean -h) add_test(lean_version1 ${CMAKE_CURRENT_BINARY_DIR}/lean --version) add_test(lean_version2 ${CMAKE_CURRENT_BINARY_DIR}/lean --v) add_test(lean_ghash1 ${CMAKE_CURRENT_BINARY_DIR}/lean -g)