#!/usr/bin/env bash

name=$(basename $0)

if [ -z "$1" ] ; then
    echo "$name: usage $name dir"
    exit 1
fi

build=/tmp/$$.build
target=$(echo $1 | sed 's+/.*$++')

cp -r $1 $build

cd $build
make
cd -
cp $build/$target $1

rm -rf $build