#!/bin/bash

hvconfig_pre()
{
    CONFIGURE_OPTS="\
        --prefix=/tools"
}