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