On Sunday 12 January 2003 12:53, Oded Arbel wrote: > On Sunday 12 January 2003 11:36, Christoph Bugel wrote: > > Maybe the clean way is to do it from the 'post-commit script'? > > On Sunday 12 January 2003 11:42, Oleg Goldshmidt wrote: > > What's wrong with > > > > $ . <profile> && make -e > > You mean - source the profile script before calling make from the > post-commit script ? that's an idea. thanks.
Yep, works for me (tm). thanks guys. -- Oded ================================================================= To unsubscribe, send mail to [EMAIL PROTECTED] with the word "unsubscribe" in the message body, e.g., run the command echo unsubscribe | mail [EMAIL PROTECTED]
