blob: 534c4a2f709fd8488ac41d3f52c361634cc36ce6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
local _, major, minor, patch = unpack(arg)
major = tonumber(major)
minor = tonumber(minor)
patch = tonumber(patch)
if DNSJIT_MAJOR_VERSION > major then os.exit(0) end
if DNSJIT_MAJOR_VERSION < major then os.exit(1) end
if DNSJIT_MINOR_VERSION > minor then os.exit(0) end
if DNSJIT_MINOR_VERSION < minor then os.exit(1) end
if DNSJIT_PATCH_VERSION > patch then os.exit(0) end
if DNSJIT_PATCH_VERSION < patch then os.exit(1) end
os.exit(0)
|
