diff options
| -rwxr-xr-x | build_tools/make_version | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build_tools/make_version b/build_tools/make_version index 3e0f4a0b0..d0464962e 100755 --- a/build_tools/make_version +++ b/build_tools/make_version @@ -3,7 +3,7 @@ AWK=${AWK:-awk} GIT=${GIT:-git} GREP=${GREP:-grep} -MAINLINE_BRANCH=master +MAINLINE_BRANCH=15 if [ -f ${1}/.version ]; then cat ${1}/.version |