#!/bin/sh -e
cd tools && ./configure $@