diff options
| author | Jose <jose@zeroc.com> | 2019-05-29 21:07:25 +0200 |
|---|---|---|
| committer | Jose <jose@zeroc.com> | 2019-05-29 21:07:25 +0200 |
| commit | 9f578768d39bbcf7df9f69f463f9ef66b5a951a8 (patch) | |
| tree | 0a878e504975cb7b99690e0291585204e686241a | |
| parent | Fix loop (diff) | |
| download | ice-9f578768d39bbcf7df9f69f463f9ef66b5a951a8.tar.bz2 ice-9f578768d39bbcf7df9f69f463f9ef66b5a951a8.tar.xz ice-9f578768d39bbcf7df9f69f463f9ef66b5a951a8.zip | |
Fix makeprops script
| -rwxr-xr-x | config/makeprops.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/config/makeprops.py b/config/makeprops.py index 6847f891366..164d1ee9972 100755 --- a/config/makeprops.py +++ b/config/makeprops.py @@ -17,10 +17,11 @@ progname = os.path.basename(sys.argv[0]) contentHandler = None propertyClasses = {} -// +commonPreamble = """// // Copyright (c) ZeroC, Inc. All rights reserved. // """ + commonPreamble = commonPreamble + "// Generated by " + progname + " from file %(inputfile)s, " + time.ctime() commonPreamble = commonPreamble + """ |