Changeset 4339 for trunk/integration/quintuslgt.sh
- Timestamp:
- 07/05/08 12:30:41 (6 months ago)
- Files:
-
- 1 modified
-
trunk/integration/quintuslgt.sh (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
trunk/integration/quintuslgt.sh
r4323 r4339 58 58 else 59 59 current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 60 if [ $current -lt 23 13]; then60 if [ $current -lt 2320 ]; then 61 61 echo "Logtalk user directory at $LOGTALKUSER is outdated!" 62 62 echo "Creating an up-to-date Logtalk user directory..."
