X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=configure.ac;h=c1bc5d78cb44aaeb00cde464c0695b6fe59ef7cf;hb=653ecf0645a5b15f7f184c27de633a7ce1a555f7;hp=3aa807cee9da19bc15c71ce95b602fb37d39cd3e;hpb=60c545e6e958d868db3399a8989d37d8f9e0c131;p=pspp diff --git a/configure.ac b/configure.ac index 3aa807cee9..c1bc5d78cb 100644 --- a/configure.ac +++ b/configure.ac @@ -65,7 +65,7 @@ AM_CONDITIONAL(cc_is_gcc, test x"$GCC" = x"yes" ) AM_CONDITIONAL(host_is_w32, [case $host_os in mingw*) true;; *) false;; esac] ) PSPP_PERL -PSPP_PYTHON +PSPP_PYTHON3 AC_CHECK_PROGS([TEX], [tex], [no]) AC_SUBST([TEX])