Skip to content

Make query searching case insensitive

Scott Kruger requested to merge scott/test-caseinsensitive-search into release

For all queries except for "name" queries (which goes by file and directory name), make the search case insensitive. So now these all give the same answer:

        make -f gmakefile print-test q='requires' qv='*superlu_dist*'
        make -f gmakefile print-test q='requires' qv='*SuperLU_DIST*'
        make -f gmakefile print-test q='requires' qv='*HAVE_MPI_PROCESS_SHARED_MEMORY*'
        make -f gmakefile print-test q='requires' qv='*have_mpi_process_shared_memory*'

Since might have unintended consequences for developers, I'd rather merge it into main so we get feedback before a release.

Merge request reports

Loading