Changeset 4448 for trunk/integration
- Timestamp:
- 08/25/08 02:27:28 (3 months ago)
- Location:
- trunk/integration
- Files:
-
- 14 modified
-
bplgt.sh (modified) (1 diff)
-
ciaolgt.sh (modified) (1 diff)
-
cxlgt.sh (modified) (1 diff)
-
eclipselgt.sh (modified) (1 diff)
-
gplgt.sh (modified) (1 diff)
-
plclgt.sh (modified) (1 diff)
-
qplgt.sh (modified) (1 diff)
-
quintuslgt.sh (modified) (1 diff)
-
sicstuslgt.sh (modified) (1 diff)
-
swilgt.sh (modified) (1 diff)
-
xsblgt.sh (modified) (1 diff)
-
xsbmt64lgt.sh (modified) (1 diff)
-
xsbmtlgt.sh (modified) (1 diff)
-
yaplgt.sh (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
trunk/integration/bplgt.sh
r4411 r4448 61 61 else 62 62 current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 63 if [ $current -lt 23 22]; then63 if [ $current -lt 2330 ]; then 64 64 echo "Logtalk user directory at $LOGTALKUSER is outdated!" 65 65 echo "Creating an up-to-date Logtalk user directory..." -
trunk/integration/ciaolgt.sh
r4411 r4448 61 61 else 62 62 current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 63 if [ $current -lt 23 22]; then63 if [ $current -lt 2330 ]; then 64 64 echo "Logtalk user directory at $LOGTALKUSER is outdated!" 65 65 echo "Creating an up-to-date Logtalk user directory..." -
trunk/integration/cxlgt.sh
r4411 r4448 61 61 else 62 62 current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 63 if [ $current -lt 23 22]; then63 if [ $current -lt 2330 ]; then 64 64 echo "Logtalk user directory at $LOGTALKUSER is outdated!" 65 65 echo "Creating an up-to-date Logtalk user directory..." -
trunk/integration/eclipselgt.sh
r4430 r4448 61 61 else 62 62 current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 63 if [ $current -lt 23 22]; then63 if [ $current -lt 2330 ]; then 64 64 echo "Logtalk user directory at $LOGTALKUSER is outdated!" 65 65 echo "Creating an up-to-date Logtalk user directory..." -
trunk/integration/gplgt.sh
r4411 r4448 61 61 else 62 62 current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 63 if [ $current -lt 23 22]; then63 if [ $current -lt 2330 ]; then 64 64 echo "Logtalk user directory at $LOGTALKUSER is outdated!" 65 65 echo "Creating an up-to-date Logtalk user directory..." -
trunk/integration/plclgt.sh
r4411 r4448 61 61 else 62 62 current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 63 if [ $current -lt 23 22]; then63 if [ $current -lt 2330 ]; then 64 64 echo "Logtalk user directory at $LOGTALKUSER is outdated!" 65 65 echo "Creating an up-to-date Logtalk user directory..." -
trunk/integration/qplgt.sh
r4411 r4448 61 61 else 62 62 current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 63 if [ $current -lt 23 22]; then63 if [ $current -lt 2330 ]; then 64 64 echo "Logtalk user directory at $LOGTALKUSER is outdated!" 65 65 echo "Creating an up-to-date Logtalk user directory..." -
trunk/integration/quintuslgt.sh
r4411 r4448 61 61 else 62 62 current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 63 if [ $current -lt 23 22]; then63 if [ $current -lt 2330 ]; then 64 64 echo "Logtalk user directory at $LOGTALKUSER is outdated!" 65 65 echo "Creating an up-to-date Logtalk user directory..." -
trunk/integration/sicstuslgt.sh
r4411 r4448 61 61 else 62 62 current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 63 if [ $current -lt 23 22]; then63 if [ $current -lt 2330 ]; then 64 64 echo "Logtalk user directory at $LOGTALKUSER is outdated!" 65 65 echo "Creating an up-to-date Logtalk user directory..." -
trunk/integration/swilgt.sh
r4411 r4448 61 61 else 62 62 current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 63 if [ $current -lt 23 22]; then63 if [ $current -lt 2330 ]; then 64 64 echo "Logtalk user directory at $LOGTALKUSER is outdated!" 65 65 echo "Creating an up-to-date Logtalk user directory..." -
trunk/integration/xsblgt.sh
r4411 r4448 61 61 else 62 62 current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 63 if [ $current -lt 23 22]; then63 if [ $current -lt 2330 ]; then 64 64 echo "Logtalk user directory at $LOGTALKUSER is outdated!" 65 65 echo "Creating an up-to-date Logtalk user directory..." -
trunk/integration/xsbmt64lgt.sh
r4411 r4448 61 61 else 62 62 current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 63 if [ $current -lt 23 22]; then63 if [ $current -lt 2330 ]; then 64 64 echo "Logtalk user directory at $LOGTALKUSER is outdated!" 65 65 echo "Creating an up-to-date Logtalk user directory..." -
trunk/integration/xsbmtlgt.sh
r4411 r4448 61 61 else 62 62 current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 63 if [ $current -lt 23 22]; then63 if [ $current -lt 2330 ]; then 64 64 echo "Logtalk user directory at $LOGTALKUSER is outdated!" 65 65 echo "Creating an up-to-date Logtalk user directory..." -
trunk/integration/yaplgt.sh
r4411 r4448 61 61 else 62 62 current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 63 if [ $current -lt 23 22]; then63 if [ $current -lt 2330 ]; then 64 64 echo "Logtalk user directory at $LOGTALKUSER is outdated!" 65 65 echo "Creating an up-to-date Logtalk user directory..."
