This is the mail archive of the cygwin@cygwin.com mailing list for the Cygwin project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: Can I kill the process forked by 'GNU make' in Cygwin?


You can use ``ps'' to find out the PID and ``kill'' to kill it. For 
example: if I want to kill my Mozilla browser (for some reason):
$ ps -W | grep  ozilla
       68       0       0         68    ?    0 12:35:00 ...

$ /bin/kill --force -9 68

Note that I use /bin/kill because "kill" is a built-in command in Bash and 
I don't want to use that one.

HTH

rlc

On Wed, 19 Mar 2003, [euc-kr] À̵¿ÀÏ wrote:

> I made a makefile invoking other process(Windows application) and the
> invoked
> process runs long. I tried to suspend the 'make' process and kill all
> processes.
> I could kill only 'make' process but invoked process.
> 
> How can I kill the invoked process by 'make' in Cygwin bash shell on
> Windows98?
> 
> Regards,
> 
> - David
> --------------------------------------------------------------
>   David Lee (Dong-Il Lee in Korean)
>   Research Engineer, LG Electronics Inc.
>      E-mail: dilee at lge dot com
>      URL   : http://www.lge.com/
>      TEL.  : +82-2-2102-0021
>      FAX   : +82-2-2102-0130
> --------------------------------------------------------------
> 
> 
> 
> --
> Unsubscribe info:      http://cygwin.com/ml/#unsubscribe-simple
> Bug reporting:         http://cygwin.com/bugs.html
> Documentation:         http://cygwin.com/docs.html
> FAQ:                   http://cygwin.com/faq/
> 


--
Unsubscribe info:      http://cygwin.com/ml/#unsubscribe-simple
Bug reporting:         http://cygwin.com/bugs.html
Documentation:         http://cygwin.com/docs.html
FAQ:                   http://cygwin.com/faq/


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]