|
|
@ -5,7 +5,6 @@ export TDE_MODE=1 |
|
|
|
SCRIPT_DIR="$(cd -- "$(dirname "$0")" >/dev/null 2>&1; pwd -P)" |
|
|
|
SCRIPT_DIR="$(cd -- "$(dirname "$0")" >/dev/null 2>&1; pwd -P)" |
|
|
|
INSTALL_DIR="$SCRIPT_DIR/../../pginst" |
|
|
|
INSTALL_DIR="$SCRIPT_DIR/../../pginst" |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
cd "$SCRIPT_DIR/../" |
|
|
|
cd "$SCRIPT_DIR/../" |
|
|
|
|
|
|
|
|
|
|
|
if [ "$1" = "debugoptimized" ]; then |
|
|
|
if [ "$1" = "debugoptimized" ]; then |
|
|
@ -15,4 +14,3 @@ fi |
|
|
|
|
|
|
|
|
|
|
|
./configure --enable-debug --enable-cassert --enable-tap-tests --prefix=$INSTALL_DIR |
|
|
|
./configure --enable-debug --enable-cassert --enable-tap-tests --prefix=$INSTALL_DIR |
|
|
|
make install-world -j |
|
|
|
make install-world -j |
|
|
|
|
|
|
|
|
|
|
|