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. -- 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]
