diff --git a/configure b/configure index e43908e39da0cc573365e8c0058a3522d47fd0a9..3d680f0e9adf6fb57af808ad969fe896f4e66566 100755 --- a/configure +++ b/configure @@ -12,4 +12,5 @@ CONFIGURE_DIR=$(dirname "$0") "$PYTHON_BIN_PATH" "${CONFIGURE_DIR}/configure.py" "$@" echo "Configuration finished" +echo "Configuration"