Patch submitted, thanks Antoine ----- Original Message ----- From: "Knut Wannheden" <[EMAIL PROTECTED]> To: <[EMAIL PROTECTED]> Sent: Friday, August 22, 2003 3:05 PM Subject: [PATCH] use ant-launcher.jar in runant.py
> Hi, > > This patch for the runant.py Ant launcher script uses the new > ant-launcher.jar to run Ant instead of adding the contents of the lib > directory to the system classpath explicitly. > > I've further patched the script to: > > - better match the structure of the 'ant' script > - insert the -Djikes.class.path in the right place (not as system property) > - 4 spaces instead of TAB indentation > - if ANT_HOME isn't set then assume it's the parent directory of the > directory the script is in > > This last change also makes it poosible to use this script on OpenVMS, where > there is no way of setting the ANT_HOME environment variable from the > command line so it can be accessed from Python. > > Regards, > > --knut > > > ---------------------------------------------------------------------------- ---- > > > > --------------------------------------------------------------------- > To unsubscribe, e-mail: [EMAIL PROTECTED] > For additional commands, e-mail: [EMAIL PROTECTED] > --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
