media/libnestegg/update.sh@97036ab72558 (annotated)
media/libnestegg/update.sh
Tue, 06 Jan 2015 21:39:09 +0100
- author
- Michael Schloh von Bennewitz <michael@schloh.com>
- date
- Tue, 06 Jan 2015 21:39:09 +0100
- branch
- TOR_BUG_9701
- changeset 8
- 97036ab72558
- permissions
- -rwxr-xr-x
Conditionally force memory storage according to privacy.thirdparty.isolate;
This solves Tor bug #9701, complying with disk avoidance documented in
https://www.torproject.org/projects/torbrowser/design/#disk-avoidance.
| michael@0 | 1 | # Usage: sh update.sh <upstream_src_directory> |
| michael@0 | 2 | cp $1/include/nestegg/nestegg.h include |
| michael@0 | 3 | cp $1/src/nestegg.c src |
| michael@0 | 4 | cp $1/halloc/halloc.h src |
| michael@0 | 5 | cp $1/halloc/src/align.h src |
| michael@0 | 6 | cp $1/halloc/src/halloc.c src |
| michael@0 | 7 | cp $1/halloc/src/hlist.h src |
| michael@0 | 8 | cp $1/halloc/src/macros.h src |
| michael@0 | 9 | cp $1/LICENSE . |
| michael@0 | 10 | cp $1/README . |
| michael@0 | 11 | cp $1/AUTHORS . |
| michael@0 | 12 | if [ -d $1/.git ]; then |
| michael@0 | 13 | rev=$(cd $1 && git rev-parse --verify HEAD) |
| michael@0 | 14 | dirty=$(cd $1 && git diff-index --name-only HEAD) |
| michael@0 | 15 | fi |
| michael@0 | 16 | |
| michael@0 | 17 | if [ -n "$rev" ]; then |
| michael@0 | 18 | version=$rev |
| michael@0 | 19 | if [ -n "$dirty" ]; then |
| michael@0 | 20 | version=$version-dirty |
| michael@0 | 21 | echo "WARNING: updating from a dirty git repository." |
| michael@0 | 22 | fi |
| michael@0 | 23 | sed -i "/The git commit ID used was/ s/[0-9a-f]\+\(-dirty\)\?\./$version./" README_MOZILLA |
| michael@0 | 24 | else |
| michael@0 | 25 | echo "Remember to update README_MOZILLA with the version details." |
| michael@0 | 26 | fi |
| michael@0 | 27 |
