summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorSamuel Lidén Borell <samuel@slbdata.se>2009-06-16 22:44:51 +0200
committerSamuel Lidén Borell <samuel@slbdata.se>2010-01-02 22:30:07 +0100
commit290edce6e5bcac9ecd7f48214836d2788b61bbbc (patch)
tree97873a0ac8fe08a1defd0f17cc85ed344a67fead /configure
parent5b2f618582f824b79d1050cdeb81045837371f3b (diff)
downloadfribid-290edce6e5bcac9ecd7f48214836d2788b61bbbc.tar.gz
fribid-290edce6e5bcac9ecd7f48214836d2788b61bbbc.tar.bz2
fribid-290edce6e5bcac9ecd7f48214836d2788b61bbbc.zip
Added a --help option to the configure script
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure21
1 files changed, 20 insertions, 1 deletions
diff --git a/configure b/configure
index 1a220da..55bfd2b 100755
--- a/configure
+++ b/configure
@@ -19,7 +19,26 @@ while [ "$#" != "0" ]; do
shift
case "$flag" in
--help)
- # TODO
+ echo "Usage: $0 [options]
+
+This script creates a build configuration. The default options are to
+install system-wide, into /usr/local, and use /usr/lib/mozilla/plugins
+as the plugin directory.
+
+Options:
+
+ --help Shows this help.
+ --prefix=PATH Sets the installation prefix. [/usr/local]
+ --exec-prefix=PATH Sets the installation prefix for executable files.
+ The default is to use the same prefix for all files.
+ --plugin-path=PATH Sets the NPAPI plugin path [/usr/lib/mozilla/plugin]
+ This option may be repeated if you want to create
+ plugin links in several places. Do not include the
+ prefix in the path.
+ --current-user Selects a per-user installation. Equivalent to:
+ --prefix=$userPrefix
+ --plugin-path=$userPluginPath
+"
exit 0
;;
--prefix=*)