diff options
author | George Pickering <29524044+tedjenkins@users.noreply.github.com> | 2019-11-02 16:34:54 +0000 |
---|---|---|
committer | Andreas Kling <awesomekling@gmail.com> | 2019-11-03 09:26:22 +0100 |
commit | 704f48d7f3a1a88047a64b4e2939878d6d4fafb8 (patch) | |
tree | 5fc1e15abb6a5e828217f12aa926b1ca9b35991f /Ports/less | |
parent | 2cc5f3a93f84ad0004b99fa22d4b130dfb38e6ba (diff) | |
download | serenity-704f48d7f3a1a88047a64b4e2939878d6d4fafb8.zip |
POSIX compliance: (most) shell scripts converted to generic shell
Ports/.port_include.sh, Toolchain/BuildIt.sh, Toolchain/UseIt.sh
have been left largely untouched due to use of Bash-exclusive
functions and variables such as $BASH_SOURCE, pushd and popd.
Diffstat (limited to 'Ports/less')
-rwxr-xr-x | Ports/less/package.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Ports/less/package.sh b/Ports/less/package.sh index 2cb55c6142..9fa9b2579a 100755 --- a/Ports/less/package.sh +++ b/Ports/less/package.sh @@ -1,4 +1,4 @@ -#!/bin/bash ../.port_include.sh +#!/bin/sh ../.port_include.sh port=less version=530 useconfigure="true" |