ellensp
3 years ago
committed by
Scott Lahteine
2 changed files with 22 additions and 0 deletions
@ -0,0 +1,14 @@ |
|||
#!/usr/bin/env bash |
|||
|
|||
# exit on first failure |
|||
set -e |
|||
|
|||
SED=$(which gsed sed | head -n1) |
|||
FN="platformio.ini" |
|||
|
|||
if [[ $1 == "-n" ]]; then |
|||
"${SED}" -i "s/default_src_filter/org_src_filter/" $FN |
|||
"${SED}" -i "/org_src_filter/ s/^/default_src_filter = +<src\/*>\n/" $FN |
|||
else |
|||
git checkout $FN 2>/dev/null |
|||
fi |
Loading…
Reference in new issue