From 7fbff8792c2e196eff0bf757d7c17e16fadfcf4c Mon Sep 17 00:00:00 2001
From: Jan Travnicek <Jan.Travnicek@fit.cvut.cz>
Date: Thu, 20 Nov 2014 20:01:45 +0100
Subject: [PATCH] fix release tests

---
 makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/makefile b/makefile
index b785e4c01b..5a2044bc2b 100644
--- a/makefile
+++ b/makefile
@@ -82,7 +82,7 @@ release: all-release
 	    cp $$dir/bin-release/* $(addsuffix -release, $(BINFOLDER)); \
 	done
 	./tests.aconversion.sh release
-	./tests.aderivation.aintegral.sh debug
+	./tests.aderivation.aintegral.sh release
 
 clean  : clean-debug   clean-release
 	$(RM) -r bin-debug bin-release
-- 
GitLab