#!/bin/bash
set +h
set -e

cd $PKGDIR
./configure --prefix=/tools
make install
echo -e "\n\nTotalseconds: $SECONDS\n"
exit