Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
RE: [platform-ant-dev] ant plugin didn't save setting (ie tools.jar)

Ok, how could we done that (ie adding tools.jar),
via editing some files by hand...

ie which files, which directories ?

-
Henri Gomez                 ___[_]____
EMAIL : hgomez@xxxxxxx        (. .)                     
PGP KEY : 697ECEDD    ...oOOo..(_)..oOOo...
PGP Fingerprint : 9DF8 1EA8 ED53 2F39 DC9B 904A 364F 80E6 



>-----Original Message-----
>From: Rodrigo_Peretti@xxxxxxx [mailto:Rodrigo_Peretti@xxxxxxx]
>Sent: Thursday, June 06, 2002 4:29 PM
>To: platform-ant-dev@xxxxxxxxxxx
>Subject: Re: [platform-ant-dev] ant plugin didn't save setting (ie
>tools.jar)
>
>
>
>known bug:
>
>http://bugs.eclipse.org/bugs/show_bug.cgi?id=18644
>
>Thanks,
>Rodrigo
>
>
>
>                                                               
>                                                                    
>                      "GOMEZ Henri"                            
>                                                                    
>                      <hgomez@xxxxxxx>               To:       
><platform-ant-dev@xxxxxxxxxxx>                                      
>                      Sent by:                       cc:       
>                                                                    
>                      platform-ant-dev-admin@        Subject:  
>[platform-ant-dev] ant plugin didn't save setting (ie tools.jar)    
>                      eclipse.org                              
>                                                                    
>                                                               
>                                                                    
>                                                               
>                                                                    
>                      06/06/2002 04:24 AM                      
>                                                                    
>                      Please respond to                        
>                                                                    
>                      platform-ant-dev                         
>                                                                    
>                                                               
>                                                                    
>                                                               
>                                                                    
>
>
>
>
>ant plugin didn't seems to save settings,
>ie adding tools.jar to list of used jars.
>
>Will this bug be fixed in next release ?
>
>-
>Henri Gomez                 ___[_]____
>EMAIL : hgomez@xxxxxxx        (. .)
>PGP KEY : 697ECEDD    ...oOOo..(_)..oOOo...
>PGP Fingerprint : 9DF8 1EA8 ED53 2F39 DC9B 904A 364F 80E6
>
>_______________________________________________
>platform-ant-dev mailing list
>platform-ant-dev@xxxxxxxxxxx
>http://dev.eclipse.org/mailman/listinfo/platform-ant-dev
>
>
>
>
>_______________________________________________
>platform-ant-dev mailing list
>platform-ant-dev@xxxxxxxxxxx
>http://dev.eclipse.org/mailman/listinfo/platform-ant-dev
>


Back to the top