Changeset 3909 for trunk/integration

Show
Ignore:
Timestamp:
11/02/07 08:00:47 (14 months ago)
Author:
pmoura
Message:

Updated the "xsbmtlgt.sh" integration script to start XSB-MT using the new command-line option "--shared-predicates".

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • trunk/integration/xsbmtlgt.sh

    r3894 r3909  
    5858echo 
    5959 
    60 exec xsb-mt -l -e "['$LOGTALKHOME/integration/logtalk_xsbmt.pl']." "$@" 
     60exec xsb-mt --shared-predicates -l -e "['$LOGTALKHOME/integration/logtalk_xsbmt.pl']." "$@"