Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mapsme/omim.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorIlya Zverev <zverik@textual.ru>2015-08-11 16:58:29 +0300
committerAlex Zolotarev <alex@maps.me>2015-09-23 03:01:01 +0300
commit2d77c20a26b400f8114e66f0a6f5a1feac2715ce (patch)
tree5d5ab86d1423cdbc7afe8f1968d52ad13db68d30 /tools
parent244ca3e54817e1026666044f200cc8d6bfa77c4c (diff)
[generator] Fix find_g_t call in _routing and add a separator in gen_planet
Diffstat (limited to 'tools')
-rwxr-xr-xtools/unix/generate_planet.sh1
-rwxr-xr-xtools/unix/generate_planet_routing.sh2
2 files changed, 2 insertions, 1 deletions
diff --git a/tools/unix/generate_planet.sh b/tools/unix/generate_planet.sh
index d2512b7e32..8f98e863ec 100755
--- a/tools/unix/generate_planet.sh
+++ b/tools/unix/generate_planet.sh
@@ -147,6 +147,7 @@ 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
+echo -e "\n\n----------------------------------------\n\n" >> "$PLANET_LOG"
log "STATUS" "Start"
# Run external script to find generator_tool
diff --git a/tools/unix/generate_planet_routing.sh b/tools/unix/generate_planet_routing.sh
index b6a70e72b8..d9cffa159d 100755
--- a/tools/unix/generate_planet_routing.sh
+++ b/tools/unix/generate_planet_routing.sh
@@ -97,7 +97,7 @@ elif [ "$1" == "prepare" ]; then
elif [ "$1" == "mwm" ]; then
[ ! -f "$OSRM_FLAG" ] && fail "Please build OSRM files first"
- source find_generator_tool.sh
+ source "$(dirname "$0")/find_generator_tool.sh"
if [ ! -d "$TARGET/borders" -o -z "$(ls "$TARGET/borders" | grep \.poly)" ]; then
# copy polygons to a temporary directory