diff options
| author | Tomi Ollila <tomi.ollila@iki.fi> | 2017-10-03 08:18:25 +0300 |
|---|---|---|
| committer | David Bremner <david@tethera.net> | 2017-10-05 07:40:36 -0300 |
| commit | 54aef071590cb23f61da943daa29080cf7446696 (patch) | |
| tree | db169e4f036a09b2a383e86719719547d342c11e /devel | |
| parent | 288c3660d8798141d86faee30b4394a450dda0ba (diff) | |
devel/check-out-of-tree-build.sh: consistent naming, consistent quoting
Renamed from out-of-tree-build-check.sh to be consistent with
other files in this directory.
Fixed quoting in "$srcdir" usage for additional robustness, other
quoting changes for consistency.
Diffstat (limited to 'devel')
| -rwxr-xr-x | devel/check-out-of-tree-build.sh (renamed from devel/out-of-tree-build-check.sh) | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/devel/out-of-tree-build-check.sh b/devel/check-out-of-tree-build.sh index 984b4b5f..3e443ea2 100755 --- a/devel/out-of-tree-build-check.sh +++ b/devel/check-out-of-tree-build.sh @@ -4,12 +4,12 @@ set -eu -srcdir="$(cd "$(dirname "$0")"/.. && pwd)" +srcdir=$(cd "$(dirname "$0")"/.. && pwd) builddir=$(mktemp -d) -cd $builddir +cd "$builddir" -$srcdir/configure +"$srcdir"/configure make "$@" -rm -rf $builddir +rm -rf "$builddir" |