X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fatlocal.in;h=1628ea55be8802e4824a84c5e930225cd2a7942a;hb=867cc7bd395b32a3516112127a04d41d9f1b15fc;hp=d0149c1e651989aaec7abf0934caa764a3a6068d;hpb=d27ce5292c63d864dfa727e061f63b06ca770e19;p=openvswitch

diff --git a/tests/atlocal.in b/tests/atlocal.in
index d0149c1e..1628ea55 100644
--- a/tests/atlocal.in
+++ b/tests/atlocal.in
@@ -1,4 +1,6 @@
 # -*- shell-script -*-
-PERL='@PERL@'
-LCOV='@LCOV@'
 HAVE_OPENSSL='@HAVE_OPENSSL@'
+HAVE_PCRE='@HAVE_PCRE@'
+HAVE_PYTHON='@HAVE_PYTHON@'
+PERL='@PERL@'
+PYTHON='@PYTHON@'