1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
#!/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