mirror of
https://github.com/postgres/postgres.git
synced 2025-06-02 00:01:40 -04:00
dcdcebbf92
- Added code coverage to link repo to codecov.io for coverage stats on PR and merge. - Added coverage badge on the landing page (readme) of the repo. - Updated GH action to run on PUSH/MERGE, as this is required for code coverage. - Updated bash files in ci_scripts folder to accommodate tde installcheck only. - Added percona server version scheme verification TAP test case.
27 lines
545 B
Bash
Executable File
27 lines
545 B
Bash
Executable File
#!/bin/bash
|
|
|
|
ENABLE_COVERAGE=
|
|
|
|
for arg in "$@"
|
|
do
|
|
case "$arg" in
|
|
--enable-coverage)
|
|
ENABLE_COVERAGE="--enable-coverage"
|
|
shift;;
|
|
esac
|
|
done
|
|
|
|
SCRIPT_DIR="$(cd -- "$(dirname "$0")" >/dev/null 2>&1; pwd -P)"
|
|
INSTALL_DIR="$SCRIPT_DIR/../../pginst"
|
|
source $SCRIPT_DIR/env.sh
|
|
|
|
cd "$SCRIPT_DIR/.."
|
|
|
|
if [ "$1" = "debugoptimized" ]; then
|
|
export CFLAGS="-O2"
|
|
export CXXFLAGS="-O2"
|
|
fi
|
|
|
|
./configure --enable-debug --enable-cassert --enable-tap-tests --prefix=$INSTALL_DIR $ENABLE_COVERAGE
|
|
make install-world -j
|