From 285d908c5dbd90bff7f03618c7a9e0fa5e287c94 Mon Sep 17 00:00:00 2001
From: jjourdan <jjourdan@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Fri, 23 May 2014 07:44:28 +0000
Subject: Empty declarations

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2502 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 test/regression/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test/regression/Makefile')

diff --git a/test/regression/Makefile b/test/regression/Makefile
index 22e5433..189dbd8 100644
--- a/test/regression/Makefile
+++ b/test/regression/Makefile
@@ -31,7 +31,7 @@ TESTS_DIFF=NaNs
 EXTRAS=annot1 commaprec expr2 expr3 expr4 extern1 funct2 funptr1 \
   pragmas ptrs1 ptrs2 struct1 struct2 struct3 \
   struct4 struct5 struct6 struct9 struct10 types1 seqops \
-  singlefloats
+  singlefloats emptydecl
 
 # Test known to fail
 FAILURES=funct1
-- 
cgit v1.2.3