5873c86210
The basedisk name (and hence get_base_disk_name) have the filename extension .vdi removed to allow for backends that have different file extensions. The VirtualBox-specific function get_base_disk_path is moved from functions-host.sh to virtualbox-functions.sh. Change-Id: I27c0b2d50717da60df6fd743d49e64d3a066c9cd
The files in this directory are used to create Windows batch scripts that can build base disks and VM clusters.