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/gen-boost-headers | |
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/gen-boost-headers')
-rwxr-xr-x | bin/gen-boost-headers | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/gen-boost-headers b/bin/gen-boost-headers index efcb712c832a..cf633532ae75 100755 --- a/bin/gen-boost-headers +++ b/bin/gen-boost-headers @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # # This file is part of the LibreOffice project. # |