Show
Ignore:
Timestamp:
07/05/08 12:30:41 (6 months ago)
Author:
pmoura
Message:

Updated the POSIX integration scripts and the Windows installer script to detect outdated versions of the Logtalk user folder (setting the compatibility version to 2.32.0 or later).

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • trunk/integration/quintuslgt.sh

    r4323 r4339  
    5858    else 
    5959        current=`cat $LOGTALKUSER/VERSION.txt | sed 's/\.//g'` 
    60         if [ $current -lt 2313 ]; then 
     60        if [ $current -lt 2320 ]; then 
    6161            echo "Logtalk user directory at $LOGTALKUSER is outdated!" 
    6262            echo "Creating an up-to-date Logtalk user directory..."