Searched refs:NEW_SYSTEM_MODE_NUM (Results 1 – 1 of 1) sorted by relevance
536 NEW_SYSTEM_MODE_NUM=1539 NEW_SYSTEM_MODE_NUM=2551 NEW_SYSTEM_MODE_NUM=$OLD_SYSTEM_MODE_NUM553 NEW_SYSTEM_MODE_NUM=1560 if [ $NEW_SYSTEM_MODE_NUM -ne $OLD_SYSTEM_MODE_NUM ]562 …${SYSTEM_MODE_NAME_TABLE[$OLD_SYSTEM_MODE_NUM]} to ${SYSTEM_MODE_NAME_TABLE[$NEW_SYSTEM_MODE_NUM]}"563 sed -i -e "s|\(<dev_mode.*>\).*\(<.*>\)|\1${NEW_SYSTEM_MODE_NUM}\2|" "$FILE_DEST"565 … echo "$(basename "$0"): Current system mode is ${SYSTEM_MODE_NAME_TABLE[$NEW_SYSTEM_MODE_NUM]}"