diff options
| -rwxr-xr-x | sdf.build | 10 |
1 files changed, 3 insertions, 7 deletions
@@ -3,22 +3,18 @@ name=$(basename $0) if [ -z "$1" ] ; then - echo $name: usage $name dir + echo "$name: usage $name dir" exit 1 fi -if [ "$(echo $1 | grep / | grep -v grep)" ] ; then - echo $name: use the script from the parent directory of the thing to build - exit 1; -fi - build=/tmp/$$.build +target=$(echo $1 | sed 's+/.*$++') cp -r $1 $build cd $build make cd - -cp $build/$1 $1 +cp $build/$target $1 rm -rf $build |
