diff options
author | Dmitry Donskoy <donskdmitry@mail.ru> | 2018-12-04 15:38:26 +0300 |
---|---|---|
committer | Roman Kuznetsov <r.kuznetsow@gmail.com> | 2018-12-04 18:43:35 +0300 |
commit | 6a7c1b420bdf76af95565045d1daf5d16e4112be (patch) | |
tree | d2f2d85b6aa4972bd4cd1269d27b62697fad063c /configure.sh | |
parent | e1f2ebb6b88df16294a1e7eb244f506c550f980b (diff) |
[android] Fixed review notes
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 00bf769707..91780cfb9b 100755 --- a/configure.sh +++ b/configure.sh @@ -113,6 +113,7 @@ else #define USER_BINDING_PKCS12 "" #define USER_BINDING_PKCS12_PASSWORD "" #define BOOKMARKS_VENDOR "" +#define ADS_REMOVAL_NOT_USED_LIST {} ' > "$PRIVATE_HEADER" echo 'ext { |