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.
1 #!/bin/sh
2 # This Source Code Form is subject to the terms of the Mozilla Public
3 # License, v. 2.0. If a copy of the MPL was not distributed with this
4 # file, You can obtain one at http://mozilla.org/MPL/2.0/.
6 #
7 # Usage from makefile:
8 # ELOG = . $(topdir)/build/autoconf/print-failed-commands.sh
9 # $(ELOG) $(CC) $CFLAGS -o $@ $<
10 #
11 # This shell script is used by the build system to print out commands that fail
12 # to execute properly. It is designed to make the "make -s" command more
13 # useful.
14 #
15 # Note that in the example we are sourcing rather than execing the script.
16 # Since make already started a shell for us, we might as well use it rather
17 # than starting a new one.
19 ( exec "$@" ) || {
20 echo
21 echo "In the directory " `pwd`
22 echo "The following command failed to execute properly:"
23 echo "$@"
24 exit 1;
25 }