tomcat-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From "Craig R. McClanahan" <Craig.McClana...@eng.sun.com>
Subject Re: Source files not being copied into {jakarta.home}build/tomcat/src/
Date Sat, 04 Nov 2000 22:37:43 GMT
Stefán F. Stefánsson wrote:

> Hi... this is more of a pointer than a bug...
>
> Isn't it true that in earlier releases of Tomcat 3.2 the source files
> got copied to the src directory when you performed build?
>
> This doesn't happen now when you run build...  it does however happen
> when you run build dist...
>
> Is this intentional or a slip?
>

I would view this as intentional.

The idea of the default build target is simply to create a Tomcat that can be
executed.  As such, minimum turnaround time is important, and (since you're
doing a build) you already have access to the source code :-).

The "dist" target, on the other hand, is used to create a "distribution"
format, which (by convention) includes the source code.

>
> Regards, Stefan.
>

Craig McClanahan




Mime
View raw message