diff options
| author | Ian C <ianc@noddybox.co.uk> | 2025-10-20 11:56:45 +0000 |
|---|---|---|
| committer | Ian C <ianc@noddybox.co.uk> | 2025-10-20 11:56:45 +0000 |
| commit | 89f09a372368674669b8577151475bbc66a832b1 (patch) | |
| tree | 4c29ffd763493b98bcda995251e8dd62464f32a0 /sdf.build | |
| parent | 2450a61db55c13ffc5573e2768506d6dc7f1d8db (diff) | |
Added sdf.build
Diffstat (limited to 'sdf.build')
| -rwxr-xr-x | sdf.build | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/sdf.build b/sdf.build new file mode 100755 index 0000000..068415a --- /dev/null +++ b/sdf.build @@ -0,0 +1,24 @@ +#!/usr/bin/env bash + +name=$(basename $0) + +if [ -z "$1" ] ; then + 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 + +cp -r $1 $build + +cd $build +make +cd - +cp $build/$1 $1 + +rm -rf $build |
