diff options
author | Kenneth Graunke <kenneth@whitecape.org> | 2014-07-09 20:36:40 -0700 |
---|---|---|
committer | Kenneth Graunke <kenneth@whitecape.org> | 2014-07-13 23:42:37 -0700 |
commit | 4d54dfaca1b44ebf8b6bff7410f87822c2fd2342 (patch) | |
tree | 1d4c80e3b77ea796d0dced49097f30a21a0b0d22 | |
parent | 5992ff297b20897f4e933c7bcb7c109a46640928 (diff) |
split-to-files.py: Complain about duplicates instead of aborting.
Duplicates happen. They really shouldn't, but printing a "bad things
are happening" message is better than aborting and refusing to do
anything.
-rwxr-xr-x | split-to-files.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/split-to-files.py b/split-to-files.py index 0fff18e..2877307 100755 --- a/split-to-files.py +++ b/split-to-files.py @@ -27,8 +27,8 @@ def parse_input(infile): if prognum not in shaders: shaders[prognum] = dict() if shadertuple in shaders[prognum]: - print("dupe!") - exit(1) + print("Warning: duplicate", shadertype, " shader ", shadernum, + "in program", prognum, "...tossing old shader.") shaders[prognum][shadertuple] = '' reading = True print("Reading program {0} {1} shader {2}".format( |