From 0219f68bd81cd4f90aa81556242b748f3adfd5df Mon Sep 17 00:00:00 2001 From: Markus Armbruster Date: Sun, 22 Jan 2006 22:18:25 +0000 Subject: [PATCH] (check-version): Didn't work with separate build tree. --- Make.mk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Make.mk b/Make.mk index 00569e03..ed22d3c2 100644 --- a/Make.mk +++ b/Make.mk @@ -297,7 +297,7 @@ dist-info: info html $(tarball) $(TARNAME)-info-html-$(VERSION) -C info.html $(addsuffix .html, $(info)) check-version: - if [ $(VERSION) != `sed -n '/EMP_VERS_/s/#define EMP_VERS_\([A-Z]*\)[ \t]*//p' &2; false; \ fi