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_plugin.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_plugin.sh')
-rw-r--r-- | scripts/build_tomtom_plugin.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/build_tomtom_plugin.sh b/scripts/build_tomtom_plugin.sh index a4f19fda3..47fedb59a 100644 --- a/scripts/build_tomtom_plugin.sh +++ b/scripts/build_tomtom_plugin.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/usr/bin/env bash # this builds a plugin for tomtom # in case you want to build a standalone system # https://github.com/george-hopkins/opentom |