open-dsi
/
postgres
mirror of https://github.com/postgres/postgres
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
59860 Commits
38 Branches
662 Tags
735 MiB
 
 
 
 
 
 
Tag: Branch: Tree: 345f63ae12
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '345f63ae12'
${ noResults }
postgres/ci_scripts/make-build.sh

16 lines
355 B
Raw Blame History

#!/bin/bash
export TDE_MODE=1
SCRIPT_DIR="$(cd -- "$(dirname "$0")" >/dev/null 2>&1; pwd -P)"
INSTALL_DIR="$SCRIPT_DIR/../../pginst"
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
make install-world -j