File tree Expand file tree Collapse file tree 2 files changed +6
-6
lines changed Expand file tree Collapse file tree 2 files changed +6
-6
lines changed Original file line number Diff line number Diff line change @@ -50,9 +50,9 @@ is_device_veyron() {
50
50
# returns the full path to the emmc device, in the form /dev/mmcblk#
51
51
get_emmc_devname () {
52
52
local devname=$( find /dev -name " mmcblk*boot0" | sed " s/boot0//" )
53
- if [ -z " $devname " ]
54
- then
55
- echo " Unknown device! can't determine emmc devname. Please file an issue with the output of fdisk -l if you get this on a supported device " ; exit 1;
53
+ if [ -z " $devname " ]; then
54
+ echo " Unknown device! can't determine emmc devname. Please file an issue with the output of fdisk -l if you get this on a supported device "
55
+ exit 1
56
56
fi
57
57
echo $devname
58
58
}
Original file line number Diff line number Diff line change @@ -66,9 +66,9 @@ is_device_veyron() {
66
66
# returns the full path to the emmc device, in the form /dev/mmcblk#
67
67
get_emmc_devname () {
68
68
local devname=$( find /dev -name " mmcblk*boot0" | sed " s/boot0//" )
69
- if [ -z " $devname " ]
70
- then
71
- echo " Unknown device! can't determine emmc devname. Please file an issue with the output of fdisk -l if you get this on a supported device " ; exit 1;
69
+ if [ -z " $devname " ]; then
70
+ echo " Unknown device! can't determine emmc devname. Please file an issue with the output of fdisk -l if you get this on a supported device "
71
+ exit 1
72
72
fi
73
73
echo $devname
74
74
}
You can’t perform that action at this time.
0 commit comments