X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fatlocal.in;h=162b832dfddc4cd7b14c0bb35238123f7ee15eda;hb=300d3db698d3ac82a0a302a91ee62bcaad6337b6;hp=df10bef95c6cd1755a6532c3790d2c9fcd30ba78;hpb=2fda41bd152e292b85160c1384419a2c554dea2b;p=pspp

diff --git a/tests/atlocal.in b/tests/atlocal.in
index df10bef95c..162b832dfd 100644
--- a/tests/atlocal.in
+++ b/tests/atlocal.in
@@ -22,6 +22,7 @@
 EXEEXT='@EXEEXT@'
 PERL='@PERL@'
 PYTHON='@PYTHON@'
+TEX='@TEX@'
 WITH_PERL_MODULE='@WITH_PERL_MODULE@'
 host='@host@'
 PACKAGE_STRING='@PACKAGE_STRING@'