summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xsdf.build10
1 files changed, 3 insertions, 7 deletions
diff --git a/sdf.build b/sdf.build
index 068415a..621656e 100755
--- a/sdf.build
+++ b/sdf.build
@@ -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