Changeset 3911 for trunk/integration

Show
Ignore:
Timestamp:
11/02/07 09:22:12 (14 months ago)
Author:
pmoura
Message:

Updated the "xsbmtlgt.sh" integration script and the Windows GUI installer to correct a typo in the command-line option name ("--shared_predicates", not "--shared-predicates"!).

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • trunk/integration/xsbmtlgt.sh

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