aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorHenry Kroll III <henry@comptune.com>2010-12-23 06:36:07 -0800
committerHenry Kroll III <henry@comptune.com>2010-12-23 06:36:07 -0800
commit48e325df3cad5cdadef6bb354bbc328d70c6ab32 (patch)
tree3709fc26f50d3e97bd849fe580eaf568e808291c
parentf449f98dec922a0915759584fe53bcbc63f8c1a4 (diff)
downloadtinycc-48e325df3cad5cdadef6bb354bbc328d70c6ab32.tar.gz
tinycc-48e325df3cad5cdadef6bb354bbc328d70c6ab32.tar.bz2
configure: --sharedir defaults to /usr/local/share
-rwxr-xr-xconfigure4
1 files changed, 2 insertions, 2 deletions
diff --git a/configure b/configure
index 99cac7e..e2d4ffe 100755
--- a/configure
+++ b/configure
@@ -241,7 +241,7 @@ echo " --bindir=DIR user executables in DIR [EPREFIX/bin]"
echo " --libdir=DIR object code libraries in DIR [EPREFIX/lib]"
echo " --tccdir=DIR installation directory [EPREFIX/lib/tcc]"
echo " --includedir=DIR C header files in DIR [PREFIX/include]"
-echo " --sharedir=DIR documentation root DIR [PREFIX]"
+echo " --sharedir=DIR documentation root DIR [PREFIX]/share"
echo " --docdir=DIR documentation in DIR [SHAREDIR/doc/tcc]"
echo " --mandir=DIR man documentation in DIR [SHAREDIR/man]"
echo " --infodir=DIR info documentation in DIR [SHAREDIR/info]"
@@ -289,7 +289,7 @@ else
prefix="/usr/local"
fi
if test -z "$sharedir" ; then
- sharedir="${prefix}"
+ sharedir="${prefix}/share"
fi
if test x"$execprefix" = x""; then
execprefix="${prefix}"