From: Chris Hanson Date: Tue, 9 Jan 2018 02:00:30 +0000 (-0500) Subject: Add optional argument to specify build directory. X-Git-Tag: mit-scheme-pucked-x11-0.3.1~7^2~396 X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=afd0ba336d2e0a4e16cbc9631d25865f32350b53;p=mit-scheme.git Add optional argument to specify build directory. --- diff --git a/etc/check-crefs b/etc/check-crefs index 50e62cd35..b4f9cae5e 100755 --- a/etc/check-crefs +++ b/etc/check-crefs @@ -1,8 +1,15 @@ #!/bin/bash +# Usage: check-crefs [BUILD-DIR] +# If no BUILD-DIR, uses dir named "build" in root. + set -e -cd "$(pwd)"/"$(dirname "${0}")"/../build +if (( ${#} > 0 )); then + cd "${1}" +else + cd "$(dirname "${0}")"/../build +fi for f in $(find * -type f -name \*-unx.crf); do echo '>>>>' "${f}" cat "${f}"