New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
.gitignore lists some files that should not be ignored #7509
Comments
Comment author: @xavierleroy This is wrong indeed and will be fixed soon. Just one question: I don't see which pattern '.depend' matches. Could you show me? |
Comment author: @kenichi-asai I have to add .depend.nt to the list of ignored files. See below for all the matches. % cat go.sh |
Comment author: @xavierleroy Thanks for the incantations. But this still doesn't help me find which line in .gitignore would cause .depend files to be ignored. |
Comment author: @kenichi-asai Oh, I see. At line 30 (and ".depend.nt" at line 31) of .gitignore. |
Comment author: @xavierleroy Thanks, and apologies for being thick: I was looking at the trunk version of .gitignore where the .depend patterns have been removed already. |
Comment author: @dra27 This incantation is somewhat more informative, but you need a clean git clone: find . -type f | git check-ignore --no-index --stdin --verbose You will get a false-positive line: compilerlibs/.gitignore:7:!.gitignore ./compilerlibs/.gitignore from what appears to be a bug in git-check-ignore and, on Windows, false-positives for testsuite/tests/asmgen/*.S (because the .s rule incorrectly applies on a case-preserving file system), but otherwise this should be empty. For the completeness' sake, I pushed 41510b0 which makes the opaque test ignore explicit. |
Original bug ID: 7509
Reporter: @kenichi-asai
Status: resolved (set by @dra27 on 2017-10-12T10:50:02Z)
Resolution: open
Priority: low
Severity: tweak
Platform: Apple
OS: MacOS X
OS Version: 10.12
Version: 4.04.0
Target version: 4.07.0+dev/beta2/rc1/rc2
Fixed in version: 4.07.0+dev/beta2/rc1/rc2
Category: configure and build/install
Bug description
The following files exist in the distribution:
.depend
/otherlibs/systhreads/thread.ml
/testsuite/tests/asmcomp/mips.s
/testsuite/tests/opaque/intf/opaque_impl.mli
/testsuite/tests/opaque/intf/opaque_intf.mli
/testsuite/tests/opaque/intf/regular.mli
but they match the pattern in .gitignore. As such, if one creates a fresh git repository from the distribution, they are ignored in the repository, resulting in a failure when doing "make world".
The text was updated successfully, but these errors were encountered: