We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 99b575c commit 9749955Copy full SHA for 9749955
tools/config.sh
@@ -86,6 +86,14 @@ export SED="sed"
86
export SSTAT="stat -c %s"
87
88
if [[ "$AR_OS" == "macos" ]]; then
89
+ if ! [ -x "$(command -v gsed)" ]; then
90
+ echo "ERROR: gsed is not installed! Please install gsed first. ex. brew install gsed"
91
+ exit 1
92
+ fi
93
+ if ! [ -x "$(command -v gawk)" ]; then
94
+ echo "ERROR: gawk is not installed! Please install gawk first. ex. brew install gawk"
95
96
97
export SED="gsed"
98
export SSTAT="stat -f %z"
99
fi
0 commit comments