X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2FMakefile.in;h=09a96c8ee784fa62b6d7160a5af08c9a31c08a41;hb=44646609c272600b92ab73265cad43dc7a911e79;hp=91dc6eb7b0626b1979af1e11d96690633ccef170;hpb=7a5bba906d08c2d3c06a9f6f5ef20bfce75f5dd6;p=pspp

diff --git a/tests/Makefile.in b/tests/Makefile.in
index 91dc6eb7b0..09a96c8ee7 100644
--- a/tests/Makefile.in
+++ b/tests/Makefile.in
@@ -95,7 +95,7 @@ USE_NLS = @USE_NLS@
 VERSION = @VERSION@
 l = @l@
 
-TESTS = syntax
+TESTS = syntax bugs/double-frequency.sh
 
 noinst_PROGRAMS = gengarbage