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