diff options
author | Hans Ulrich Niedermann <hun@n-dimensional.de> | 2020-02-17 03:16:06 +0100 |
---|---|---|
committer | Hans Ulrich Niedermann <hun@n-dimensional.de> | 2020-02-17 21:41:11 +0100 |
commit | dd87744b9d9b09fc58cfc3fd315cd87fe062d9ac (patch) | |
tree | 2014873ff12480ef2e16002ab50dc4b0c4d1ff96 /.travis-script.sh | |
parent | 6b5887ef6a0000f8bc97487c847f37f8df32827b (diff) | |
download | libgphoto2-dd87744b9d9b09fc58cfc3fd315cd87fe062d9ac.tar.gz |
travis-ci script: clean up directory usage, add usage comment
Diffstat (limited to '.travis-script.sh')
-rw-r--r-- | .travis-script.sh | 25 |
1 files changed, 16 insertions, 9 deletions
diff --git a/.travis-script.sh b/.travis-script.sh index c3a95daa8..a9bf00c2e 100644 --- a/.travis-script.sh +++ b/.travis-script.sh @@ -1,4 +1,8 @@ #!/bin/sh +# +# Usage: +# sh .travis-script.sh <BUILD_ID> [--args-to-configure...] +# buildid="${1:?"need buildid"}" @@ -7,16 +11,19 @@ ls -l configure shift -properdir="$(pwd)" - -mkdir "_build-${buildid}" - set -e set -x -cd "_build-${buildid}" +abs_topsrcdir="$(pwd)" +rel_prefixdir="_root-${buildid}" +abs_prefixdir="${abs_topsrcdir}/${rel_prefixdir}" +rel_builddir="_build-${buildid}" + +mkdir "${rel_builddir}" +cd "${rel_builddir}" + -if ../configure --prefix="$(cd ".." && pwd)/_root-${buildid}" "$@" +if ../configure --prefix="$abs_prefixdir" "$@" then echo "Configure successful." else @@ -52,8 +59,8 @@ make install examples/sample-afl -cd "$properdir" +cd "$abs_topsrcdir" -find "_root-${buildid}" -type f | sort +find "${rel_prefixdir}" -type f | sort -# (cd "_build-${buildid}" && make uninstall clean) +# (cd "${rel_builddir}" && make uninstall clean) |