diff options
author | chai <chaifix@163.com> | 2018-05-31 08:12:40 +0800 |
---|---|---|
committer | chai <chaifix@163.com> | 2018-05-31 08:12:40 +0800 |
commit | ad8ffb96789f90180982b344540870a2d4e2d60b (patch) | |
tree | 2bf2e124cb0130acaad1dcce2034ff2847b3d0a2 /3rdparty/freetype/version.sed |
Diffstat (limited to '3rdparty/freetype/version.sed')
-rw-r--r-- | 3rdparty/freetype/version.sed | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/3rdparty/freetype/version.sed b/3rdparty/freetype/version.sed new file mode 100644 index 0000000..c281ff5 --- /dev/null +++ b/3rdparty/freetype/version.sed @@ -0,0 +1,5 @@ +#! /usr/bin/sed -nf + +s/^#define *FREETYPE_MAJOR *\([^ ][^ ]*\).*$/freetype_major="\1" ;/p +s/^#define *FREETYPE_MINOR *\([^ ][^ ]*\).*$/freetype_minor=".\1" ;/p +s/^#define *FREETYPE_PATCH *\([^ ][^ ]*\).*$/freetype_patch=".\1" ;/p |