X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2FMakefile.am;h=1109a24f5c23efe250366ce24c24b37403af7f35;hb=2e0595dd8e344dbdcab740d7d2a3b67d153d6b39;hp=60c3ead4e68ef90fe0b246b33ab101ed3883a200;hpb=fa77efde13ecbb261b90109142453850b283b950;p=pspp-builds.git

diff --git a/tests/Makefile.am b/tests/Makefile.am
index 60c3ead4..1109a24f 100644
--- a/tests/Makefile.am
+++ b/tests/Makefile.am
@@ -3,7 +3,7 @@
 bench:
 	make BENCHMARK=1 check
 
-TESTS = syntax bugs/double-frequency.sh
+TESTS = syntax
 
 noinst_PROGRAMS = gengarbage