summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorPetteri Aimonen <jpa@git.mail.kapsi.fi>2014-07-20 14:10:47 +0300
committerPetteri Aimonen <jpa@git.mail.kapsi.fi>2014-07-20 14:18:21 +0300
commit7f97ad549e8ef2050c662b8160745402e84e8006 (patch)
tree2f7ef1d32bf81b33cbbdb0d34a59e45b269c0ac7
parentf2f9f8a9ed2f59e4ed229f09fc95f9168cc4b473 (diff)
Give better messages about the .options file path.
Update issue 124 Status: FixedInGit
-rwxr-xr-xgenerator/nanopb_generator.py11
1 files changed, 10 insertions, 1 deletions
diff --git a/generator/nanopb_generator.py b/generator/nanopb_generator.py
index 3bc8b39a..c7371887 100755
--- a/generator/nanopb_generator.py
+++ b/generator/nanopb_generator.py
@@ -1000,19 +1000,28 @@ def process_file(filename, fdesc, options):
fdesc = descriptor.FileDescriptorSet.FromString(data).file[0]
# Check if there is a separate .options file
+ had_abspath = False
try:
optfilename = options.options_file % os.path.splitext(filename)[0]
except TypeError:
# No %s specified, use the filename as-is
optfilename = options.options_file
-
+ had_abspath = True
+
if os.path.isfile(optfilename):
if options.verbose:
sys.stderr.write('Reading options from ' + optfilename + '\n')
Globals.separate_options = read_options_file(open(optfilename, "rU"))
else:
+ # If we are given a full filename and it does not exist, give an error.
+ # However, don't give error when we automatically look for .options file
+ # with the same name as .proto.
+ if options.verbose or had_abspath:
+ sys.stderr.write('Options file not found: ' + optfilename)
+
Globals.separate_options = []
+
Globals.matched_namemasks = set()
# Parse the file