From ba14e9da2a0ca776e6be758f5b0fa49f6090e838 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Fri, 13 Apr 2018 19:35:42 +0200
Subject: travis-ci.sh: call make with ghdl_version. Tentative fix for #554

---
 dist/linux/travis-ci.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/dist/linux/travis-ci.sh b/dist/linux/travis-ci.sh
index 51f7a83eb..2585685c8 100755
--- a/dist/linux/travis-ci.sh
+++ b/dist/linux/travis-ci.sh
@@ -100,7 +100,8 @@ else
     # This is a little bit hack-ish, as it assumes that 'git' is not
     # available in docker (otherwise it will describe as -dirty
     # because this modifies the source file version.in).
-    make -f Makefile.in srcdir=. version.tmp
+    ghdl_version_line=`grep -e '^ghdl_version' configure`
+    make -f Makefile.in srcdir=. $ghdl_version_line version.tmp
     cp version.tmp src/version.in
 
     # Run build in docker
-- 
cgit v1.2.3