X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fatlocal.in;h=7bd713cdd2be0654985e24d884aed77241a6ef86;hb=b8e468c47bf5ef5148b570466cd3225b4c02a3d3;hp=0a758a20e88ac6c2fe94f45246823912f40c8ddb;hpb=8a0397491d3a82ffd5d3bf80bded0f1562c393a3;p=pspp-builds.git

diff --git a/tests/atlocal.in b/tests/atlocal.in
index 0a758a20..7bd713cd 100644
--- a/tests/atlocal.in
+++ b/tests/atlocal.in
@@ -7,3 +7,11 @@ host='@host@'
 GNM_SUPPORT='@GNM_SUPPORT@'
 GZIP=
 export GZIP
+
+PSQL_SUPPORT='@PSQL_SUPPORT@'
+if test "$PSQL_SUPPORT" = yes; then
+    : ${PG_CONFIG:='@PG_CONFIG@'}
+    : ${PG_DBASE:=pspptest}
+    : ${PG_PORT:=6543}
+    : ${PG_PATH:=`$PG_CONFIG --bindir`}
+fi