header file name capitalization mismatch

[GoogleCodeExporter]

What steps will reproduce the problem?
0. Using an OS with case-sensitive file names (e.g. linux:)
1. Using the attached .proto file,
2. run java -jar protoc-1.0M4.jar status_rept.proto
3. look at status_rept.c

What is the expected output? What do you see instead?
Expected:  Name of the generated header file matches the name in the #include 
statement.
Actual: Generated file is status_rept.h, but status_rept.c attempts to include 
"Status_rept.h".  This is of course an error.

What version of the product are you using? On what operating system?
Using 1.0M4 jar file, Ubuntu 13.04, JVM as follows:
java version "1.7.0_51"
OpenJDK Runtime Environment (IcedTea 2.4.4) (7u51-2.4.4-0ubuntu0.13.04.2)
OpenJDK 64-Bit Server VM (build 24.45-b08, mixed mode)

Original issue reported on code.google.com by [email protected] on 8 Apr 2014 at 8:06

Attachments:

• status_rept.proto