diff options
author | Александр Зацепин <az@mapswithme.com> | 2018-11-02 19:05:36 +0300 |
---|---|---|
committer | Александр Зацепин <az@mapswithme.com> | 2018-11-02 19:05:36 +0300 |
commit | bf3d1947989c08b83ce0321c5b8b13156bfa552f (patch) | |
tree | 6e09a472beeccf71a40dac9e64de192fd7d3b768 /configure.sh | |
parent | 8d17725509df45d41f3dd0e2564552d5eacfc589 (diff) |
Added bookmarks vendor in configure.sh
Diffstat (limited to 'configure.sh')
-rwxr-xr-x | configure.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/configure.sh b/configure.sh index b21fe6c2ef..9af6a596db 100755 --- a/configure.sh +++ b/configure.sh @@ -111,6 +111,7 @@ else #define USER_BINDING_REQUEST_URL "" #define USER_BINDING_PKCS12 "" #define USER_BINDING_PKCS12_PASSWORD "" +#define BOOKMARKS_VENDOR "" ' > "$PRIVATE_HEADER" echo 'ext { |