diff options
| author | P. J. McDermott <pj@pehjota.net> | 2015-12-06 21:34:45 (EST) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2015-12-06 21:34:45 (EST) |
| commit | c223ec68d616195df49e3b797d2d8c853bcdcbe8 (patch) | |
| tree | 2269c1827f326eb7f5dba327aade85fd348c869e /src | |
| parent | 075efa207161c89bc3a804f8917c48188706c7c5 (diff) | |
prokit: Support placement in top build directory
Diffstat (limited to 'src')
| -rw-r--r-- | src/prokit.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/prokit.sh b/src/prokit.sh index 5cfdb53..81084b9 100644 --- a/src/prokit.sh +++ b/src/prokit.sh @@ -34,6 +34,9 @@ OPTSTRING='hV' if [ -f "${0%/*}/../.builddirstamp" ]; then in_place=true builddir="${0%/*}/.." +elif [ -f "${0%/*}/.builddirstamp" ]; then + in_place=true + builddir="${0%/*}" else in_place=false builddir='' |