summaryrefslogtreecommitdiff
path: root/tools/ck-copyright-notice
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2018-05-28 13:52:00 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2018-05-28 13:52:00 +0000
commitf2b5a2e3bbce2d118277c9ac16aa8d5ee1f07854 (patch)
tree17cff4de90595fee28dfcea43e12eee2c3bcfc38 /tools/ck-copyright-notice
parent8b82d646d61497fca4e7d8f661bcf14ed3396102 (diff)
downloadmpfr-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-xtools/ck-copyright-notice2
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