Modify ↓
Opened 12 years ago
Closed 12 years ago
#7769 closed enhancement (fixed)
[Patch for discussion] build.xml improvements
Reported by: | simon04 | Owned by: | team |
---|---|---|---|
Priority: | normal | Milestone: | |
Component: | Core | Version: | |
Keywords: | ant build | Cc: |
Description
I suggest the following improvements for build.xml
(Ant build file):
- run
javacc
only ifMapCSSParser.jj
was changed - provide
ant run
(w/ JOSM dir set to /tmp/.josm)
Attachments (1)
Note:
See TracTickets
for help on using tickets.
Sure, sounds good. (Btw. build.xml is not used on the server, so nothing to break here.)