version 1.58.2.3, 2011/04/14 08:46:50
|
version 1.62, 2011/04/20 08:26:04
|
Line 1
|
Line 1
|
/* |
/* |
================================================================================ |
================================================================================ |
RPL/2 (R) version 4.0.23 |
RPL/2 (R) version 4.1.0.prerelease.0 |
Copyright (C) 1989-2011 Dr. BERTRAND Joël |
Copyright (C) 1989-2011 Dr. BERTRAND Joël |
|
|
This file is part of RPL/2. |
This file is part of RPL/2. |
Line 107 rplinit(int argc, char *argv[], unsigned
|
Line 107 rplinit(int argc, char *argv[], unsigned
|
|
|
errno = 0; |
errno = 0; |
|
|
# ifdef DMALLOC |
|
atexit(dmalloc_shutdown()); |
|
# endif |
|
|
|
# ifdef DEBUG_MEMOIRE |
# ifdef DEBUG_MEMOIRE |
debug_memoire_initialisation(); |
debug_memoire_initialisation(); |
# endif |
# endif |
Line 2553 rplinit(int argc, char *argv[], unsigned
|
Line 2549 rplinit(int argc, char *argv[], unsigned
|
fflush(stdout); |
fflush(stdout); |
|
|
initialisation_instructions(s_etat_processus); |
initialisation_instructions(s_etat_processus); |
|
initialisation_variables(s_etat_processus); |
|
|
if (arguments != NULL) |
if (arguments != NULL) |
{ |
{ |