diff options
author | Ilya Zverev <zverik@textual.ru> | 2015-07-16 19:57:45 +0300 |
---|---|---|
committer | Alex Zolotarev <alex@maps.me> | 2015-09-23 02:58:59 +0300 |
commit | 7628f7377112dd1d231e0d230be4e42c6ba8a3d0 (patch) | |
tree | 0de512f536eaba79dccd5d0796516b96334f2ec3 /tools | |
parent | f2a2c3bfd66280235967960a718ac910691eb896 (diff) |
[generator] Allow to override log path
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/unix/generate_planet.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/unix/generate_planet.sh b/tools/unix/generate_planet.sh index 884013715e..342c900cbf 100755 --- a/tools/unix/generate_planet.sh +++ b/tools/unix/generate_planet.sh @@ -136,7 +136,7 @@ OSRM_FLAG="${OSRM_FLAG:-$INTDIR/osrm_done}" SCRIPTS_PATH="$(dirname "$0")" ROUTING_SCRIPT="$SCRIPTS_PATH/generate_planet_routing.sh" TESTING_SCRIPT="$SCRIPTS_PATH/test_planet.sh" -LOG_PATH="$TARGET/logs" +LOG_PATH="${LOG_PATH:-$TARGET/logs}" mkdir -p "$LOG_PATH" PLANET_LOG="$LOG_PATH/generate_planet.log" [ -n "${MAIL-}" ] && trap "grep STATUS \"$PLANET_LOG\" | mailx -s \"Generate_planet: build failed\" \"$MAIL\"; exit 1" SIGINT SIGTERM |