#!/bin/sh -e make make install # Work around no 'DESTDIR'. cp -a _install/. "$1"