X-Git-Url: https://gerrit.fd.io/r/gitweb?a=blobdiff_plain;f=configure;h=978b71e5c61bcacf44486984c266d27733c53798;hb=5d8072c059eda181b54d5ad425abc6f8edaf2a31;hp=71af538b98e2d79160a97e2f585e41edd1b91920;hpb=7d64631e516ba6c3fd0be12deda00862c1edd69a;p=vpp.git

diff --git a/configure b/configure
index 71af538b98e..978b71e5c61 100755
--- a/configure
+++ b/configure
@@ -1,4 +1,5 @@
 #!/usr/bin/env bash
+set -o pipefail -o errtrace -o nounset -o errexit
 
 # Experimental script, please consult with dmarion@me.com before
 # submitting any changes
@@ -21,7 +22,7 @@ OPTIONS:
   --help, -h              This help
   --build-dir, -b         Build directory
   --install-dir, -i       Install directory
-  --type, -t              Build type (release, debug, ... )
+  --build-type, -t        Build type (release, debug, ...)
   --wipe, -w              Wipe whole repo (except startup.* files)
 __EOF__
 }
@@ -80,6 +81,7 @@ cmake \
   -B ${build_dir} \
   -DCMAKE_PREFIX_PATH=${prefix_path} \
   -DCMAKE_INSTALL_PREFIX=${install_dir} \
+  -DCMAKE_EXPORT_COMPILE_COMMANDS:BOOL=ON \
   -DCMAKE_BUILD_TYPE:STRING=${build_type}
 
   cat << __EOF__
@@ -89,7 +91,6 @@ cmake \
   ninja                   Build VPP
   ninja set-build-type-*  Change build type to <debug|release|gcov|...>
   ninja config            Start build configuration TUI
-  ninja compdb            Generate compile_commands.json
   ninja run               Runs VPP using startup.conf in the build directory
   ninja debug             Runs VPP inside GDB using startup.conf in the build directory
   ninja pkg-deb           Create .deb packages