diff --git a/misc/microcode.sh b/misc/microcode.sh index e0434ea1..06f7e381 100644 --- a/misc/microcode.sh +++ b/misc/microcode.sh @@ -25,8 +25,8 @@ HOLD="-" CM="${GN}✓${CL}" CROSS="${RD}✗${CL}" -set -euo pipefail -shopt -s inherit_errexit nullglob +#set -euo pipefail +#shopt -s inherit_errexit nullglob msg_info() { local msg="$1"