#!/bin/bash

if [ "x$1" = "x" ] ; then
  make install
else
  make DESTDIR=$1 install
fi