summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2019-07-31 15:06:10 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2019-07-31 15:06:10 +0000
commitca5218cae79770db2ccecd1e5729599b46de5f90 (patch)
treeb99c5ab6934f14e14fbbe916b836890dd0b4d17e /tools
parent0885f561e8f09b070a32384fef3a6ea27a6187fb (diff)
downloadmpfr-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-xtools/ck-mparam12
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