diff options
author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2018-05-28 13:52:00 +0000 |
---|---|---|
committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2018-05-28 13:52:00 +0000 |
commit | f2b5a2e3bbce2d118277c9ac16aa8d5ee1f07854 (patch) | |
tree | 17cff4de90595fee28dfcea43e12eee2c3bcfc38 /tools/ck-copyright-notice | |
parent | 8b82d646d61497fca4e7d8f661bcf14ed3396102 (diff) | |
download | mpfr-f2b5a2e3bbce2d118277c9ac16aa8d5ee1f07854.tar.gz |
[tools/{ck-clz_tab,ck-copyright-notice,ck-mparam,update-version}] Fixed
non-portable quote nesting in backticks.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12721 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'tools/ck-copyright-notice')
-rwxr-xr-x | tools/ck-copyright-notice | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/ck-copyright-notice b/tools/ck-copyright-notice index c0855a4c9..8c79fcc8b 100755 --- a/tools/ck-copyright-notice +++ b/tools/ck-copyright-notice @@ -12,7 +12,7 @@ # ck-copyright-notice can be run from the tools directory dir=`pwd` -[ -d src ] || [ "`basename "$dir"`" != tools ] || cd .. +[ -d src ] || [ "`basename \"$dir\"`" != tools ] || cd .. err=0 |