diff options
| author | John Hein <dkeabg7vp4@snkmail.com> | 2020-12-03 08:37:25 -0700 |
|---|---|---|
| committer | John Hein <dkeabg7vp4@snkmail.com> | 2020-12-03 08:37:25 -0700 |
| commit | 1ede4f69c87349b8dba6c5665ced8638aee4585e (patch) | |
| tree | 3f0ba6a9cfbe236331b2ab1d4127d2c04c2e6c3a | |
| parent | 17b168cc9280c2d3d0636b12b4015216ac68d6b0 (diff) | |
| download | shared-mime-info-1ede4f69c87349b8dba6c5665ced8638aee4585e.tar.gz | |
Prefer POSIX standard name for system shell.
No non-POSIX bashism features are used in this shell script.
| -rwxr-xr-x | data/freedesktop_generate.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/data/freedesktop_generate.sh b/data/freedesktop_generate.sh index 90381030..ff13e75a 100755 --- a/data/freedesktop_generate.sh +++ b/data/freedesktop_generate.sh @@ -1,4 +1,4 @@ -#!/bin/bash -e +#!/bin/sh -e src_root="$1" build_root="$2" |