diff options
| -rw-r--r-- | Makefile.maint | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Makefile.maint b/Makefile.maint index e0f6776f9..30b3dea05 100644 --- a/Makefile.maint +++ b/Makefile.maint @@ -24,7 +24,9 @@ GZIP_ENV = '--no-name --best' CVS = cvs -prev_version_file ?= .prev-version +ifeq ($(origin prev_version_file), undefined) + prev_version_file = .prev-version +endif PREV_VERSION := $(shell cat $(prev_version_file)) |