#!/bin/bash

hvconfig_pre()
{
    if [ "${HVL_TARGET}" != "x86_64" ]; then
        # It seems ABI is improperly detected for Intel atom...
        export ABI=32
    fi
}

hvbuild_post()
{
    unset ABI
}