[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs
From: |
Eli Zaretskii |
Subject: |
Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs |
Date: |
Sat, 07 Jan 2023 09:08:56 +0200 |
> From: Gavin Smith <gavinsmith0123@gmail.com>
> Date: Sat, 7 Jan 2023 00:35:25 +0000
>
> > Does anybody knows if nodes are correctly concatenated with case
> > insensitive filesystems if CASE_INSENSITIVE_FILENAMES is not set?
>
> It would be good to know the answer to this.
I've built the GDB HTML docs on MS-Windows with "make html" in the GDB
doc/ directory, so I can answer these questions, I think. What
exactly do you want to know?
I can confirm that with the default configuration only one
QMemTags.html file is generated, and it redirects to the @anchor that
is qMemTags, not QMemTags. The other one seems to be lost. Is that
what you wanted to know?
- [PATCH] Warn user when 2 files conflict on a case insensitive fs, Torbjörn SVENSSON, 2023/01/06
- Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs, Patrice Dumas, 2023/01/06
- Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs, Gavin Smith, 2023/01/06
- Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs, Patrice Dumas, 2023/01/06
- Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs, Gavin Smith, 2023/01/06
- Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs,
Eli Zaretskii <=
- Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs, pertusus, 2023/01/07
- Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs, Eli Zaretskii, 2023/01/07
- Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs, pertusus, 2023/01/07
- Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs, Torbjorn SVENSSON, 2023/01/07
- Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs, Gavin Smith, 2023/01/07
- Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs, Eli Zaretskii, 2023/01/07
- Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs, Gavin Smith, 2023/01/07
- Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs, Eli Zaretskii, 2023/01/07
- Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs, pertusus, 2023/01/07
- Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs, Eli Zaretskii, 2023/01/07