Skip to content

Commit e4d1e48

Browse files
committed
Tidy up system info
1 parent da32f37 commit e4d1e48

1 file changed

Lines changed: 11 additions & 3 deletions

File tree

.github/scripts/install_deps.sh

Lines changed: 11 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -32,7 +32,15 @@ case "${1%%-*}" in
3232
;;
3333
esac
3434

35+
# Print some system info, for easier debugging.
36+
37+
echo ::group::PATH
3538
echo "PATH=($PATH)" | sed 's/:/\n /g'
36-
bison --version
37-
make --version
38-
cmake --version
39+
echo ::endgroup::
40+
41+
for prog in bison make cmake; do
42+
printf '::group::' # No line terminator, the next command's first line becomes the group's title.
43+
$prog --version
44+
type $prog
45+
echo ::endgroup::
46+
done

0 commit comments

Comments
 (0)