Thu, 15 Jan 2015 15:59:08 +0100
Implement a real Private Browsing Mode condition by changing the API/ABI;
This solves Tor bug #9701, complying with disk avoidance documented in
https://www.torproject.org/projects/torbrowser/design/#disk-avoidance.
michael@0 | 1 | # -*- Mode: python; c-basic-offset: 4; indent-tabs-mode: nil; tab-width: 40 -*- |
michael@0 | 2 | # vim: set filetype=python: |
michael@0 | 3 | # This Source Code Form is subject to the terms of the Mozilla Public |
michael@0 | 4 | # License, v. 2.0. If a copy of the MPL was not distributed with this |
michael@0 | 5 | # file, You can obtain one at http://mozilla.org/MPL/2.0/. |
michael@0 | 6 | |
michael@0 | 7 | EXPORTS.ogg += [ |
michael@0 | 8 | 'include/ogg/config_types.h', |
michael@0 | 9 | 'include/ogg/ogg.h', |
michael@0 | 10 | 'include/ogg/os_types.h', |
michael@0 | 11 | ] |
michael@0 | 12 | |
michael@0 | 13 | UNIFIED_SOURCES += [ |
michael@0 | 14 | 'src/ogg_alloc.c', |
michael@0 | 15 | 'src/ogg_bitwise.c', |
michael@0 | 16 | 'src/ogg_framing.c', |
michael@0 | 17 | ] |
michael@0 | 18 | |
michael@0 | 19 | MSVC_ENABLE_PGO = True |
michael@0 | 20 | |
michael@0 | 21 | if CONFIG['GKMEDIAS_SHARED_LIBRARY']: |
michael@0 | 22 | NO_VISIBILITY_FLAGS = True |
michael@0 | 23 | |
michael@0 | 24 | FINAL_LIBRARY = 'gkmedias' |