Changeset 4448 for trunk/integration/quintuslgt.sh
- Timestamp:
- 08/25/08 02:27:28 (5 months ago)
- Files:
-
- 1 modified
-
trunk/integration/quintuslgt.sh (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
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..."
