diff options
author | Ilya Zverev <zverik@textual.ru> | 2015-07-08 16:23:53 +0300 |
---|---|---|
committer | Alex Zolotarev <alex@maps.me> | 2015-09-23 02:55:11 +0300 |
commit | 1c355a018de90b624248837f9d7695e5503f7af8 (patch) | |
tree | cad514624bf144f008fe96a8f13cab7251e847d2 /tools | |
parent | 313de0695cd1e6cbea46a1fe9189359dc4ece686 (diff) |
[generator] Remove osrm flag only if it exists
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/unix/generate_planet.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/unix/generate_planet.sh b/tools/unix/generate_planet.sh index 221f2b29a3..e666619d65 100755 --- a/tools/unix/generate_planet.sh +++ b/tools/unix/generate_planet.sh @@ -401,7 +401,8 @@ if [ "$MODE" == "test" ]; then fi # Cleaning up temporary directories -rm "$STATUS_FILE" "$OSRM_FLAG" +rm "$STATUS_FILE" +[ -f "$OSRM_FLAG" ] && rm "$OSRM_FLAG" mv "$TARGET"/*.mwm.osm2ft "$INTDIR" [ -z "$KEEP_INTDIR" ] && rm -r "$INTDIR" log "STATUS" "Done" |