Skip to content

Commit 4da33e2

Browse files
[DEBUG] part n+2 of many debugging
### ChangeLog: Changes in file .github/tool_checkmake.sh: Unknown Changes
1 parent 3736cb9 commit 4da33e2

File tree

1 file changed

+6
-0
lines changed

1 file changed

+6
-0
lines changed

.github/tool_checkmake.sh

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -63,6 +63,12 @@
6363
# .github/tool_checkmake.sh
6464
readonly SCRIPT_NAME="${0##*/}"
6565

66+
# local path fix-up
67+
if [[ -d "/usr/local/bin" ]] && [[ ":$PATH:" != *":/usr/local/bin:"* ]] ; then
68+
PATH="${PATH:+"$PATH:"}/usr/local/bin" ;
69+
export PATH ;
70+
fi
71+
6672
# USAGE:
6773
# ~$ check_command CMD
6874
# Arguments:

0 commit comments

Comments
 (0)