#!/bin/bash

hvbuild()
{
    make
    ./getweb 1020
    make install
    make install-hotplug
}