X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fatlocal.in;h=5ff0cd2f97708503b77ba5247b50a21ef743b842;hb=2f47998baea215b996af0be4d1653032005e3ac4;hp=1328d4a4819353e7f96f2248d0bcfd1c187d6191;hpb=1b233b95b5907a242ee453cbea3ad4bc4cd4fec2;p=openvswitch

diff --git a/tests/atlocal.in b/tests/atlocal.in
index 1328d4a4..5ff0cd2f 100644
--- a/tests/atlocal.in
+++ b/tests/atlocal.in
@@ -1,2 +1,6 @@
 # -*- shell-script -*-
+HAVE_OPENSSL='@HAVE_OPENSSL@'
+HAVE_PYTHON='@HAVE_PYTHON@'
+LCOV='@LCOV@'
 PERL='@PERL@'
+PYTHON='@PYTHON@'