Changeset 3996 for trunk/integration
- Timestamp:
- 12/30/07 09:55:39 (13 months ago)
- Files:
-
- 1 modified
-
trunk/integration/plclgt.sh (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
trunk/integration/plclgt.sh
r3986 r3996 58 58 echo 59 59 60 exec "$PLC"/plc -h 2048k -l 1024k -g 2048k -e "(consult('$LOGTALKHOME/integration/logtalk_plc.pl'), '\$root')." "$@"60 exec "$PLC"/plc -h 4096k -l 2048k -g 4096k -e "(consult('$LOGTALKHOME/integration/logtalk_plc.pl'), '\$root')." "$@"
