diff options
author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2019-07-31 15:06:10 +0000 |
---|---|---|
committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2019-07-31 15:06:10 +0000 |
commit | ca5218cae79770db2ccecd1e5729599b46de5f90 (patch) | |
tree | b99c5ab6934f14e14fbbe916b836890dd0b4d17e /tools | |
parent | 0885f561e8f09b070a32384fef3a6ea27a6187fb (diff) | |
download | mpfr-ca5218cae79770db2ccecd1e5729599b46de5f90.tar.gz |
[tools/ck-mparam] This script can now be run from any directory (which
must still be writable). This change has been done to be able to run
it from the build directory, as if it is run via "make distcheck" and
a dist-hook rule, then neither the top-level directory nor the tools
directory is writable.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13539 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/ck-mparam | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/tools/ck-mparam b/tools/ck-mparam index 4b529f575..572eeee3c 100755 --- a/tools/ck-mparam +++ b/tools/ck-mparam @@ -13,13 +13,13 @@ # even the implied warranty of MERCHANTABILITY or FITNESS FOR A # PARTICULAR PURPOSE. -set -e +# Note: This script must be run from a writable directory (an executable +# check_mparam will be created in it). -# ck-mparam can be run from the tools directory -dir=`pwd` -[ -d src ] || [ "`basename \"$dir\"`" != tools ] || cd .. +set -e -files=`find src/*/ -name mparam.h` +dir=$(dirname "$0") +files=$(cd "$dir/.." && find src/*/ -name mparam.h) err=0 for i in $files @@ -30,7 +30,7 @@ do # err=1 #fi rm -f check_mparam - ${CC:-cc} "-DMPARAM=\"../$i\"" -o check_mparam tools/check_mparam.c + ${CC:-cc} "-DMPARAM=\"../$i\"" -o check_mparam "$dir"/check_mparam.c ./check_mparam done |