diff options
Diffstat (limited to 'src/ChangeLog')
| -rw-r--r-- | src/ChangeLog | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 9b13be6f..7d479cbf 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,9 @@ +2011-06-23 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * utils/command.cc (build_rts_options) [clozure_runtime]: Request + no read of initialization file instead of quiet mode. + (execute_core): Set arg[0] to the about-to-bed-executed program. + 2011-06-22 Gabriel Dos Reis <gdr@cs.tamu.edu> * driver/Makefile.in (open_axiom_LDADD): Use library archives for |