diff options
Diffstat (limited to 'tools/outdir')
-rwxr-xr-x | tools/outdir | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/tools/outdir b/tools/outdir new file mode 100755 index 00000000..3c51e354 --- /dev/null +++ b/tools/outdir @@ -0,0 +1,12 @@ +#!/bin/sh + +PRODUCTS=$HOME/Products + +SRCDIR=$(pwd) +BASE=$(basename "$SRCDIR") + +OUTPUT="$PRODUCTS/$BASE" + +if [ -d "$OUTPUT" ]; then + echo $OUTPUT +fi |