Shared: Remove the backwards compatbility flag.

This commit is contained in:
Michael Nebel
2025-04-15 13:12:00 +02:00
parent 2a8fe53b04
commit fa5162fb13

View File

@@ -84,11 +84,6 @@ Requirements: `codeql` should appear on your path.
generator.printHelp()
sys.exit(0)
# Convert --with-mixed-summaries to --with-summaries for backward compatibility
if "--with-mixed-summaries" in sys.argv:
sys.argv.remove("--with-mixed-summaries")
sys.argv.append("--with-summaries")
if "--with-sinks" in sys.argv:
sys.argv.remove("--with-sinks")
generator.generateSinks = True