From 3e5ef5877fe03397d3a3da3b6fa3374f211affa7 Mon Sep 17 00:00:00 2001 From: Johannes van Waveren Date: Sun, 30 Oct 2016 05:47:59 +0100 Subject: scripts: Re-added AllPlatforms wsi option A single cross-platform dispatch table helper file is preferable. Added the AllPlatforms parameter back into vk-generate.py Change-Id: Icc00c04504d58007270eb55fc269651c215aa9b4 --- vk-generate.py | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/vk-generate.py b/vk-generate.py index d8672c26..7c57b156 100755 --- a/vk-generate.py +++ b/vk-generate.py @@ -282,6 +282,7 @@ def main(): "Wayland", "Mir", "Display", + "AllPlatforms", } subcommands = { "dispatch-table-ops": DispatchTableOpsSubcommand, @@ -289,9 +290,10 @@ def main(): } if len(sys.argv) < 3 or sys.argv[1] not in wsi or sys.argv[2] not in subcommands: - print("Usage: %s [options]" % sys.argv[0]) + print("Usage: %s