#!/bin/bash

hvbuild_post()
{
    sed -i -e "s@ /tools/lib/libgmp.la@ ${TOOLS_DIR}/lib/libgmp.la@" \
        ${TOOLS_DIR}/lib/libmpc.la
}