[fix] Remove reference to OIL_FLAGS

oilshell · Nov 23, 2021 · 78ef1fe · 78ef1fe
1 parent a04fe61
commit 78ef1fe
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/frontend/flag_gen.py b/frontend/flag_gen.py
@@ -399,7 +399,6 @@ def main(argv):
   specs = {}
   specs.update(flag_spec.FLAG_SPEC)
   specs.update(flag_spec.FLAG_SPEC_AND_MORE)
-  specs.update(flag_spec.OIL_SPEC)
   #log('SPECS %s', specs)
 
   for spec_name in sorted(specs):