From 89f09a372368674669b8577151475bbc66a832b1 Mon Sep 17 00:00:00 2001 From: Ian C Date: Mon, 20 Oct 2025 11:56:45 +0000 Subject: Added sdf.build --- sdf.build | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) create mode 100755 sdf.build 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 -- cgit v1.2.3