diff --git a/configure b/configure index e34be69e4e..b40fb9fd3d 100755 --- a/configure +++ b/configure @@ -18,6 +18,7 @@ Usage: $0 [OPTION]... [VAR=VALUE]... Build Options: --builddir=DIR place build files in directory [build] + --build-dir=DIR alias for --builddir --build-type=TYPE set CMake build type [RelWithDebInfo]: - Debug: optimizations off, debug symbols + flags - MinSizeRel: size optimizations, debugging off @@ -171,6 +172,9 @@ while [ $# -ne 0 ]; do --builddir=*) builddir=$optarg ;; + --build-dir=*) + builddir=$optarg + ;; --build-type=*) append_cache_entry CMAKE_BUILD_TYPE STRING $optarg