From 3da8e55f81178c5974964f4211631635447fb2aa Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Sun, 15 May 2016 11:05:02 +0200 Subject: [PATCH] README: urge bug reporters to always mention the barvinok version Signed-off-by: Sven Verdoolaege --- README | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/README b/README index cab5978..4b5944b 100644 --- a/README +++ b/README @@ -88,3 +88,8 @@ more memory. For bug reports, feature requests and questions, contact http://groups.google.com/group/isl-development + +Whenever you report a bug, please mention the exact version of barvinok +that you are using (output of "./iscc --version"). If you are unable +to compile barvinok, then report the git version (output of "git describe") +or the version included in the name of the tarball. -- 2.11.4.GIT