diff options
author | Ian C <ianc@noddybox.co.uk> | 2025-10-20 13:00:11 +0000 |
---|---|---|
committer | Ian C <ianc@noddybox.co.uk> | 2025-10-20 13:00:11 +0000 |
commit | 85c6b0ce41e21898adeeb9a9435954426213b964 (patch) | |
tree | de4f7647d566a00b94e94a3b999cecea5a49dc95 | |
parent | 89f09a372368674669b8577151475bbc66a832b1 (diff) |
-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 |