github ci fix: macos use sudo for make install

d99kris · Apr 27, 2024 · be8eaa6 · be8eaa6
1 parent d5443a2
commit be8eaa6
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/make.sh b/make.sh
@@ -167,7 +167,11 @@ if [[ "${INSTALL}" == "1" ]]; then
  if [ "${OS}" == "Linux" ]; then
  cd build && sudo make install && cd .. || exiterr "install failed (linux), exiting."
  elif [ "${OS}" == "Darwin" ]; then
- cd build && make install && cd .. || exiterr "install failed (mac), exiting."
+ GHSUDO=""
+ if [[ "${GITHUB_ACTIONS}" == "true" ]]; then
+ GHSUDO="sudo"
+ fi
+ cd build && ${GHSUDO} make install && cd .. || exiterr "install failed (mac), exiting."
  else
  exiterr "install failed (unsupported os ${OS}), exiting."
  fi