diff options
author | Joseph Herlant <aerostitch@users.noreply.github.com> | 2018-06-04 10:44:11 -0700 |
---|---|---|
committer | jkoan <jkoan@users.noreply.github.com> | 2018-06-04 19:44:11 +0200 |
commit | 7bd08d7ef699bcf51be0f11af99f62c6ce436bf4 (patch) | |
tree | 29e54e9eb8c007c7d2c9d7cae29956ab360c2868 /scripts/build_tomtom_minimal.sh | |
parent | d68ab5f662969376a889629c72a0cb5ab120cfda (diff) | |
download | navit-7bd08d7ef699bcf51be0f11af99f62c6ce436bf4.tar.gz |
update:scripts:change the scripts that use non-POSIX functionnalities to bash (#613)
Diffstat (limited to 'scripts/build_tomtom_minimal.sh')
-rw-r--r-- | scripts/build_tomtom_minimal.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/build_tomtom_minimal.sh b/scripts/build_tomtom_minimal.sh index a178b9733..ba6975e0f 100644 --- a/scripts/build_tomtom_minimal.sh +++ b/scripts/build_tomtom_minimal.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/usr/bin/env bash # this builds navit for tomtom # in case you want to build a plugin for tomtom use build_tomtom_plugin.sh instead # in case you want to build a standalone system |