diff --git a/require-ess/tools/driver.makefile b/require-ess/tools/driver.makefile index 022eb2de0ab2a80f55fae5c4f85da7d732c7fea7..28b28a119c326654add51065a92c55c7d8fde5b1 100644 --- a/require-ess/tools/driver.makefile +++ b/require-ess/tools/driver.makefile @@ -101,7 +101,6 @@ CP = cp MKDIR = mkdir -p -m 775 # This is to allow for build numbers in recognized versions. First regex is for grep, second for sed. -VERSIONGLOB = +([0-9]).+([0-9]).+([0-9])?(++([0-9])) VERSIONREGEX = [0-9]+\.[0-9]+\.[0-9]+(\+[0-9]+)? # Some generated file names: