Fix #40: allow sdcard install, when the sdcard is mounted as /dev/sd*

This commit is contained in:
Oliver Smith 2017-06-10 00:29:48 +02:00
parent afa42ce0a3
commit 6999e6ea47
No known key found for this signature in database
GPG Key ID: 5AE7F5513E0885CB
1 changed files with 1 additions and 1 deletions

View File

@ -36,7 +36,7 @@ def partitions_mount(args):
for symbol in ["p", ""]:
if os.path.exists(prefix + symbol + "1"):
partition_prefix = symbol
if not partition_prefix:
if partition_prefix is None:
raise RuntimeError("Unable to find the partition prefix,"
" expected the first partition of " +
prefix + " to be located at " + prefix +