From 1f141a11a78128d4368c6bfd83f988ce1f49aa41 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Grisez?= Date: Tue, 7 Apr 2015 11:01:29 +0200 Subject: [PATCH] Revert commit de19b3a7349f7519c35ccb4afc9766a34e5a5ae9 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Reverted commit: commit de19b3a7349f7519c35ccb4afc9766a34e5a5ae9 Author: François Grisez Date: Fri Apr 3 16:04:59 2015 +0200 Check whether the git tag start with the version number set in configure.ac --- coreapi/Makefile.am | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/coreapi/Makefile.am b/coreapi/Makefile.am index b5eab37d3..8582213c5 100644 --- a/coreapi/Makefile.am +++ b/coreapi/Makefile.am @@ -199,7 +199,7 @@ AM_CXXFLAGS=$(COMMON_CFLAGS) $(STRICT_OPTIONS_CXX) make_gitversion_h: if test -n "$(GITLOG)" ; then \ if test "$(GITDESCRIBE)" != "" ; then \ - if [ "$(GIT_TAG)" != "$(PACKAGE_VERSION)" ] && [[ ! "$(GIT_TAG)" =~ "$(PACKAGE_VERSION)-" ]]; then \ + if [ "$(GIT_TAG)" != "$(PACKAGE_VERSION)" ]; then \ $(ECHO) "*** PACKAGE_VERSION and git tag differ. Please put them identical."; \ exit 1; \ fi ; \