diff options
| author | Ilmari Lauhakangas <ilmari.lauhakangas@libreoffice.org> | 2021-08-20 11:10:30 +0300 |
|---|---|---|
| committer | Ilmari Lauhakangas <ilmari.lauhakangas@libreoffice.org> | 2021-08-20 12:32:22 +0200 |
| commit | ac586d1caecaa5be4bce05b073ce4c7bda10f13e (patch) | |
| tree | 0f8edfa7e9bf7ad5c5be49cd168c20dc9e16d1a1 /bin/update | |
| parent | 080e4550257a90597c241f83fd766b99c83ba6e8 (diff) | |
Make some scripts more portable
Change-Id: Ia89059eea51ca396a7c74143625ac9a6706de198
Reviewed-on: https://gerrit.libreoffice.org/c/core/+/120773
Tested-by: Jenkins
Reviewed-by: Ilmari Lauhakangas <ilmari.lauhakangas@libreoffice.org>
Diffstat (limited to 'bin/update')
| -rw-r--r-- | bin/update/common.sh | 2 | ||||
| -rwxr-xr-x | bin/update/make_full_update.sh | 2 | ||||
| -rwxr-xr-x | bin/update/make_incremental_update.sh | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/bin/update/common.sh b/bin/update/common.sh index 5bba576c702c..dcdbea8bb815 100644 --- a/bin/update/common.sh +++ b/bin/update/common.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # This Source Code Form is subject to the terms of the Mozilla Public # License, v. 2.0. If a copy of the MPL was not distributed with this # file, You can obtain one at http://mozilla.org/MPL/2.0/. diff --git a/bin/update/make_full_update.sh b/bin/update/make_full_update.sh index cb7de49b23d4..4140ecae6d14 100755 --- a/bin/update/make_full_update.sh +++ b/bin/update/make_full_update.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # This Source Code Form is subject to the terms of the Mozilla Public # License, v. 2.0. If a copy of the MPL was not distributed with this # file, You can obtain one at http://mozilla.org/MPL/2.0/. diff --git a/bin/update/make_incremental_update.sh b/bin/update/make_incremental_update.sh index e76f2159fe2a..31bddabdb082 100755 --- a/bin/update/make_incremental_update.sh +++ b/bin/update/make_incremental_update.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # This Source Code Form is subject to the terms of the Mozilla Public # License, v. 2.0. If a copy of the MPL was not distributed with this # file, You can obtain one at http://mozilla.org/MPL/2.0/. |