X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fatlocal.in;h=159bfe57d9f3fdcac5f23ddea1500af552120236;hb=90cc746da3d96887772567a1dbff2a81efb17b21;hp=7bd713cdd2be0654985e24d884aed77241a6ef86;hpb=1349819bc862dbc974a34f88d2e31275b77fe2fc;p=pspp-builds.git

diff --git a/tests/atlocal.in b/tests/atlocal.in
index 7bd713cd..159bfe57 100644
--- a/tests/atlocal.in
+++ b/tests/atlocal.in
@@ -7,6 +7,7 @@ host='@host@'
 GNM_SUPPORT='@GNM_SUPPORT@'
 GZIP=
 export GZIP
+EXEEXT='@EXEEXT@'
 
 PSQL_SUPPORT='@PSQL_SUPPORT@'
 if test "$PSQL_SUPPORT" = yes; then