Philip Chimento a58ae41ea7 linter: Fix parsing features.txt ...

Previously, split() would split on whitespace, then the if-condition would
remove `#` - interpreting every word in every comment in the file as a
potential valid feature flag. We want splitlines() here.

Partial-line comments were inadvertently "supported" before, because of
this bug. Instead, support them explicitly by chopping off a `#`
character, anything after it, and any whitespace immediately preceding it.

2023-03-06 17:31:20 +01:00

..

generation

Fix generator clean fail on .DS_Store

2022-05-05 17:03:58 -04:00

lint

linter: Fix parsing features.txt

2023-03-06 17:31:20 +01:00

misc

Add the language tag mappings python script

2020-04-09 09:20:55 -04:00

packaging

fixup! Rename usage of master to main

2020-07-15 15:47:15 -04:00

scripts

CI: Do not report test failures as errors

2021-05-28 18:06:58 -04:00

copy_tests.sh

Add a little helper for convenience in testing changes (#1260)

2017-10-04 11:46:21 -04:00

CoverageAnalyzer.py

Unify indentation and add .editorconfig (#973)

2017-04-13 10:37:32 -04:00