#!/bin/sh

/sbin/other-os-flash-util -b `/sbin/find-other-os-flash` ||
{
	echo "ERROR: can't change boot flag" 2>&1;
	exit 1;
}

reboot

