blob: 8383fc56b62bb2b378e7cb50a40e2a9864ab64c0 [file] [log] [blame]
#!/bin/sh
platform=$(cat /etc/platform)
if [ "$platform" = "GFHD254" ]; then
gfhd254_reboot
sleep 5
echo "Hard reboot failed, soft rebooting."
fi
reboot