13.6.3 Other Changes
- Output to different interactive output streams, like
user_output
and user_error
, are now properly ordered.
- If the standard OS streams cannot be used, the SICStus runtime will
use null streams instead of failing initialization. Happened when
started from recent Linux
nohup
command.
-
Under UNIX, sicstus now interprets command line arguments
using locale information (the Windows version already did this).
-
Saved-states invoked as shell scripts will now use a version specific
name for the sicstus executable, e.g., exec sicstus-4.0.3
... instead of exec sicstus ....
- The spld tool now ignores the
--more-memory
option and
no longer attempts to use a modified linker script on x86 Linux.
- The splfr tool no longer uses a fixed name for some temporary
files, which prevented parallel make.
Send feedback on this subject.