wscript: warn about unused variables

2024-11-22 01:45:19 +01:00 · 2023-12-04 02:53:07 +03:00 · 2023-12-04 02:53:07 +03:00 · 748b06a00e
commit 748b06a00e
parent 273bccdc9a
1 changed files with 3 additions and 0 deletions
--- a/3
+++ b/3
@ -324,6 +324,9 @@ def configure(conf):

 			# disabled, flood
 			# '-Wdouble-promotion',
+
+			'-Wunused-variable',
+			'-Wunused-but-set-variable',
 		]

 		opt_cflags = [