Changeset 4581 for trunk/integration/bplgt.sh
- Timestamp:
- 11/07/08 16:39:42 (2 months ago)
- Files:
-
- 1 modified
-
trunk/integration/bplgt.sh (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
trunk/integration/bplgt.sh
r4572 r4581 61 61 else 62 62 current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 63 if [ $current -lt 233 2]; then63 if [ $current -lt 2333 ]; then 64 64 echo "Logtalk user directory at $LOGTALKUSER is outdated!" 65 65 echo "Creating an up-to-date Logtalk user directory..."
