Skip to content

Commit 8c3b977

Browse files
committed
Add '/bin' before '/usr/bin' in PATH
Thus, mpiexec can be /bin/mpiexec through symlinks related_to #209
1 parent 5bbb355 commit 8c3b977

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

.github/workflows/unit-tests.yml

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -99,6 +99,8 @@ jobs:
9999
OMPI_MCA_rmaps_base_oversubscribe: true
100100
PRTE_MCA_rmaps_default_mapping_policy: :oversubscribe
101101
run: |
102+
# Make sure '/bin' is before '/usr/bin' in PATH
103+
PATH=$(echo "/bin:"$PATH | sed 's#:/bin##')
102104
# This is needed so that the Git tag is parsed and the khiops-python
103105
# version is retrieved
104106
git config --global --add safe.directory $(realpath .)
@@ -177,6 +179,8 @@ jobs:
177179
# Force > 2 CPU cores to launch mpiexec
178180
KHIOPS_PROC_NUMBER: 4
179181
run: |-
182+
# Make sure '/bin' is before '/usr/bin' in PATH
183+
PATH=$(echo "/bin:"$PATH | sed 's#:/bin##')
180184
# Make sure MPI support is not loaded through env modules
181185
# Note: As Docker container's shell is non-interactive, environment
182186
# modules are currently not initializing the shell anyway

0 commit comments

Comments
 (0)