X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fatlocal.in;h=8ac4f676b2927c5ef1e62962a8e0e3d1bd0eff1e;hb=14cf356bf27c3c7e52a1f8fe3d7f0ffcb19af7fb;hp=d0ca70486ae58dcf76e66b4a1b9b726937f0624f;hpb=00908dc27a4d93bd1c5bda3bcdc84ec351e9a09a;p=openvswitch

diff --git a/tests/atlocal.in b/tests/atlocal.in
index d0ca7048..8ac4f676 100644
--- a/tests/atlocal.in
+++ b/tests/atlocal.in
@@ -1,3 +1,5 @@
 # -*- shell-script -*-
+HAVE_OPENSSL='@HAVE_OPENSSL@'
+HAVE_PYTHON='@HAVE_PYTHON@'
 PERL='@PERL@'
-LCOV='@LCOV@'
+PYTHON='@PYTHON@'