| #!/bin/bashset -e# Configif [ -z "$CONFIG_OK" ]; then source config.sh; fiif [ -z "$CONFIG_OK" -o "$CONFIG_OK" -eq 0 ]; then echo "$(tput setaf 1)Config NG!$(tput sgr0)" >&2; exit 1; fi# Clean the temporary directoryTMPDIR=$(dirname "$0")/tmprm -rf "$TMPDIR"# Remove internationalized firmware filesrm -f "${INTLHEX}"*.hex
 |