From 74eddad7130355e6b1a6f5d6861b94569127f9c4 Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Thu, 18 Jan 2007 11:42:44 +0100
Subject: [PATCH] Makefile.am: check-series: check --primal as well

---
 Makefile.am | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/Makefile.am b/Makefile.am
index 36380f7..c9c3bb6 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -185,10 +185,12 @@ endif
 
 check-series:
 	@for i in $(top_srcdir)/tests/ehrhart/*; do \
-	    if test -f $$i; then \
-		echo $$i; \
-		./barvinok_enumerate --verify --series < $$i; \
-	    fi \
+	    for options in '' '--primal'; do \
+		if test -f $$i; then \
+		    echo $$i $$options; \
+		    ./barvinok_enumerate --verify --series $$options < $$i; \
+		fi \
+	    done \
 	done
 check:
 	@for i in $(top_srcdir)/tests/ehrhart/*; do \
-- 
2.11.4.GIT