mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-07-02 22:55:26 +02:00
[cleanup][releng] fix domain name for wrs.com
This commit is contained in:
parent
23ce5db72e
commit
ccb3160638
1 changed files with 1 additions and 1 deletions
|
@ -183,7 +183,7 @@ then
|
|||
java14_home=/shared/webtools/apps/IBMJava2-ppc-142
|
||||
javadoc="-Djavadoc15=$java15_home/bin/javadoc"
|
||||
PATH=$java15_home/jre/bin:$PATH;export PATH
|
||||
elif [ "$HOSTNAME" == "parser.takefive.co.at" ]
|
||||
elif [ "$HOSTNAME" == "parser.wrs.com" ]
|
||||
then
|
||||
#Running on parser
|
||||
java15_home=/opt/jdk1.5.0_06
|
||||
|
|
Loading…
Add table
Reference in a new issue