Changes between Initial Version and Version 1 of Ticket #63339, comment 2
- Timestamp:
- Aug 3, 2021, 9:18:08 PM (3 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #63339, comment 2
initial v1 2 2 > A different solution could be to change the globs to be more specific. [...] However, this change would have unintended consequences 3 3 4 This could be avoided by using even-more-specific regular expressions(that would match e.g. `make` followed by whitespace or end of string, i.e. `(make|ninja|scons)($|[[:space:]])`) instead of globs.4 This could be avoided by using an even-more-specific regular expression (that would match e.g. `make` followed by whitespace or end of string, i.e. `(make|ninja|scons)($|[[:space:]])`) instead of globs.