Re: Overwrite an executable file that is running

1999-07-07 Thread Ville-Pertti Keinonen
zzh...@cs.binghamton.edu (Zhihui Zhang) writes: > For a big executable file that is being run by the OS, all its contents > may not be loaded into the memory. At the same time, the developer gets > impatient and wants to create a new version of the same file. He could > modify the makefile to o

Re: Overwrite an executable file that is running

1999-07-06 Thread Ville-Pertti Keinonen
[EMAIL PROTECTED] (Zhihui Zhang) writes: > For a big executable file that is being run by the OS, all its contents > may not be loaded into the memory. At the same time, the developer gets > impatient and wants to create a new version of the same file. He could > modify the makefile to output

Re: Overwrite an executable file that is running

1999-07-06 Thread Alfred Perlstein
On Tue, 6 Jul 1999, Zhihui Zhang wrote: > > For a big executable file that is being run by the OS, all its contents > may not be loaded into the memory. At the same time, the developer gets > impatient and wants to create a new version of the same file. He could > modify the makefile to output

Re: Overwrite an executable file that is running

1999-07-06 Thread Alfred Perlstein
On Tue, 6 Jul 1999, Zhihui Zhang wrote: > > For a big executable file that is being run by the OS, all its contents > may not be loaded into the memory. At the same time, the developer gets > impatient and wants to create a new version of the same file. He could > modify the makefile to output

Overwrite an executable file that is running

1999-07-06 Thread Zhihui Zhang
For a big executable file that is being run by the OS, all its contents may not be loaded into the memory. At the same time, the developer gets impatient and wants to create a new version of the same file. He could modify the makefile to output the new version to a different file name, but this

Overwrite an executable file that is running

1999-07-06 Thread Zhihui Zhang
For a big executable file that is being run by the OS, all its contents may not be loaded into the memory. At the same time, the developer gets impatient and wants to create a new version of the same file. He could modify the makefile to output the new version to a different file name, but this