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 | Rather than make changes to the built files here, make them upstream and then |
michael@0 | 2 | upgrade our tree's copy of the built files. |
michael@0 | 3 | |
michael@0 | 4 | To upgrade the source-map library: |
michael@0 | 5 | |
michael@0 | 6 | $ git clone https://github.com/mozilla/source-map.git |
michael@0 | 7 | $ git co source-map |
michael@0 | 8 | $ git co <latest-tagged-version> |
michael@0 | 9 | $ npm run-script build |
michael@0 | 10 | $ cp dist/SourceMap.jsm /path/to/mozilla-central/toolkit/devtools/sourcemap/SourceMap.jsm |
michael@0 | 11 | $ cp dist/test/* /path/to/mozilla-central/toolkit/devtools/sourcemap/tests/unit/ |
michael@0 | 12 |