index 09d4e4029f35966add0e59d92f076b2a69a863ef..5abc22ba43e4c8659a0c4e56c9bcc91f3404cd0d 100644 (file)
--- a/program/src/get_ver.awk
+++ b/program/src/get_ver.awk
split($1, t, "=");\r
my_ver_str = substr(t[2],2,length(t[2])-2);\r
split(my_ver_str, v, ".");\r
+ gsub("[^0-9].*$", "", v[3]);\r
my_ver = v[1] "," v[2] "," v[3];\r
}\r
if (match ($0, /^NUMVERS=/)) {\r