X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2FMakefile.am;h=652d517b14f9fa64c4bc24c04430cfb2ec623116;hb=36acd35beab37125d4083d98feaebec1d945e9b4;hp=60c3ead4e68ef90fe0b246b33ab101ed3883a200;hpb=44646609c272600b92ab73265cad43dc7a911e79;p=pspp-builds.git

diff --git a/tests/Makefile.am b/tests/Makefile.am
index 60c3ead4..652d517b 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 bugs/double-frequency.sh bugs/html-frequency.sh
 
 noinst_PROGRAMS = gengarbage