kopia lustrzana https://github.com/jgromes/RadioLib
[CodeQL] Use /bin/bash interperter
rodzic
deae19e892
commit
38b3f33c82
|
@ -54,7 +54,7 @@ jobs:
|
|||
# static link fix from https://github.com/github/securitylab/discussions/171
|
||||
for i in ~/.arduino*/packages/arduino/tools/avr-gcc/*/bin/*; do
|
||||
mv "$i" "$i.real";
|
||||
printf '#!/usr/bin/sh\nexec "'"$i"'.real" ${1+"$@"}\n' > "$i";
|
||||
printf '#!/bin/bash\nexec "'"$i"'.real" ${1+"$@"}\n' > "$i";
|
||||
chmod +x "$i";
|
||||
done
|
||||
|
||||
|
|
Ładowanie…
Reference in New Issue