diff options
Diffstat (limited to 'kpov_judge/create_disk_images.py')
-rwxr-xr-x | kpov_judge/create_disk_images.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/kpov_judge/create_disk_images.py b/kpov_judge/create_disk_images.py index 09f74a2..d28ef1d 100755 --- a/kpov_judge/create_disk_images.py +++ b/kpov_judge/create_disk_images.py @@ -113,6 +113,7 @@ if __name__ == '__main__': g.add_drive(snap_file) if 'parts' in disk: for p in disk['parts']: + lock_fp.write("part {}: {}\n".format(dev_prefix + p['dev'], p['path'])) manual_disks.append((dev_prefix + p['dev'], p['path'], p.get('options', None))) else: |