diff options
author | 2017-03-01 22:27:03 +1100 | |
---|---|---|
committer | 2017-03-01 22:27:03 +1100 | |
commit | e9063720e5fc53dad73d04125545da5954bbd829 (patch) | |
tree | 84e7f48266f9a2bf4c6569044912eb8bf6c6e4bd /docs/release/scripts/build/makelist.py | |
parent | 493e128506b183a81bc4571ce00f5713b41aea8c (diff) |
0.183 Release filestag183
Diffstat (limited to 'docs/release/scripts/build/makelist.py')
-rw-r--r-- | docs/release/scripts/build/makelist.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/release/scripts/build/makelist.py b/docs/release/scripts/build/makelist.py index a9b450474e2..1a27a515e04 100644 --- a/docs/release/scripts/build/makelist.py +++ b/docs/release/scripts/build/makelist.py @@ -164,4 +164,4 @@ print("};") print("") # also output a global count -print("int driver_list::s_driver_count = %d;\n" % len(drivlist)) +print("std::size_t const driver_list::s_driver_count = %d;\n" % len(drivlist)) |