Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.
View | Details | Raw Unified | Return to bug 201470 | Differences between
and this patch

Collapse All | Expand All

(-)src-native-new/bin/ACStart.sh (-2 / +2 lines)
Lines 6-13 Link Here
6 
#
 6 
#
7 
# If TPTP_AC_HOME is not set then we assume we are running from bin.
 7 
# If TPTP_AC_HOME is not set then we assume we are running from bin.
8 
#
 8 
#
9 
if [ "$TPTP_AC_HOME" = "" ]; then
 9 
if [ -z $TPTP_AC_HOME ]; then
10 
	TPTP_AC_HOME=..
 10 
	TPTP_AC_HOME=$(dirname $0)/..
11 
	export TPTP_AC_HOME
 11 
	export TPTP_AC_HOME
12 
fi
 12 
fi
13 
PATH=$TPTP_AC_HOME/bin:$PATH
 13 
PATH=$TPTP_AC_HOME/bin:$PATH
(-)src-native-new/bin/ACVersion.sh (-2 / +2 lines)
Lines 6-13 Link Here
6 
#
 6 
#
7 
# If TPTP_AC_HOME is not set then we assume we are running from bin.
 7 
# If TPTP_AC_HOME is not set then we assume we are running from bin.
8 
#
 8 
#
9 
if [ "$TPTP_AC_HOME" = "" ]; then
 9 
if [  -z $TPTP_AC_HOME  ]; then
10 
	TPTP_AC_HOME=..
 10 
	TPTP_AC_HOME=$(dirname $0)/..
11 
	export TPTP_AC_HOME
 11 
	export TPTP_AC_HOME
12 
fi
 12 
fi
13 
PATH=$TPTP_AC_HOME/bin:$PATH
 13 
PATH=$TPTP_AC_HOME/bin:$PATH
(-)src-native-new/bin/ACStop.sh (-2 / +2 lines)
Lines 5-12 Link Here
5 

          5
          

        

        

          6
          
# If TPTP_AC_HOME is not set then we assume we are running from bin.

          6
          
# If TPTP_AC_HOME is not set then we assume we are running from bin.

        

        

          7
          
#

          7
          
#

        

          
            

              8
              
if [ "$TPTP_AC_HOME" = "" ]; then


              8
              
if [ -z $TPTP_AC_HOME  ]; then

            

            

              9
              
	TPTP_AC_HOME=..


              9
              
	TPTP_AC_HOME=$(dirname $0)/..

            

        

          10
          
	export TPTP_AC_HOME

          10
          
	export TPTP_AC_HOME

        

        

          11
          
fi

          11
          
fi

        

        

          12
          
PATH=$TPTP_AC_HOME/bin:$PATH

          12
          
PATH=$TPTP_AC_HOME/bin:$PATH

        






  

  Return to bug 201470