From: Ben Pfaff <blp@gnu.org>
Date: Tue, 16 Feb 2010 17:45:27 +0000 (-0800)
Subject: testsuite: Don't check pspp version with AT_TESTED.
X-Git-Tag: sav-api~391
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d92412814c39b033c77f637f130108346a48b996;p=pspp

testsuite: Don't check pspp version with AT_TESTED.

AT_TESTED is for reporting the versions of binaries that you test, but
the testsuite doesn't currently test the "pspp" binary.  More
importantly, the Makefile doesn't ensure that the "pspp" binary is in
$PATH when the testsuite runs, which can cause a spurious test failure.
---

diff --git a/tests/testsuite.at b/tests/testsuite.at
index fbf821a7d9..4e3f488ea9 100644
--- a/tests/testsuite.at
+++ b/tests/testsuite.at
@@ -1,5 +1,3 @@
 AT_INIT
 
-AT_TESTED([pspp])
-
 m4_include([tests/output/render.at])