diff options
author | Ton Voon <tonvoon@users.sourceforge.net> | 2003-06-27 10:30:47 +0000 |
---|---|---|
committer | Ton Voon <tonvoon@users.sourceforge.net> | 2003-06-27 10:30:47 +0000 |
commit | 3bcd17e3906c072a258e6ad7cc835071de10d3e7 (patch) | |
tree | 64b0f20f92049baf2385dffb4699cf40b5ab2019 | |
parent | e85f4067779a1c60faff53754d879ca37d06b25e (diff) | |
download | monitoring-plugins-3bcd17e3906c072a258e6ad7cc835071de10d3e7.tar.gz |
Fiddling as Solaris' which command is broken
git-svn-id: https://nagiosplug.svn.sourceforge.net/svnroot/nagiosplug/nagiosplug/trunk@559 f882894a-f735-0410-b71e-b25c423dba1c
-rwxr-xr-x | tools/setup | 16 |
1 files changed, 15 insertions, 1 deletions
diff --git a/tools/setup b/tools/setup index bbc82669..af5d1aac 100755 --- a/tools/setup +++ b/tools/setup | |||
@@ -9,4 +9,18 @@ if [ -f debian/rules ] ; then | |||
9 | chmod +x debian/rules | 9 | chmod +x debian/rules |
10 | fi | 10 | fi |
11 | 11 | ||
12 | cd doc && make | 12 | # Lots of fiddling as Solaris' which command does give error if which fails |
13 | docbook=0 | ||
14 | if [ `uname -s` = "SunOS" ] ; then | ||
15 | if [ "`which docbook2html`" = "/"* ] ; then | ||
16 | docbook=1 | ||
17 | fi | ||
18 | else | ||
19 | if which docbook2html ; then | ||
20 | docbook=1 | ||
21 | fi | ||
22 | fi | ||
23 | |||
24 | if [ $docbook = 1 ] ; then | ||
25 | cd doc && make | ||
26 | fi | ||