From 63cef4bd5f95616e2978ec3734e4fd0356cfb32f Mon Sep 17 00:00:00 2001 From: Sergey Bugaev Date: Tue, 19 Nov 2019 17:36:13 +0300 Subject: [PATCH] Ports: Fix ignoring patches According to gitignore docs, > It is not possible to re-include a file if a parent directory of that file is excluded. So make sure to re-include "*/patches" before trying to re-include "*/patches/*". This commit also converts the .gitignore file to have Unix line endings. --- Ports/.gitignore | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/Ports/.gitignore b/Ports/.gitignore index 60ec05f8775..8e999ab3021 100644 --- a/Ports/.gitignore +++ b/Ports/.gitignore @@ -1,3 +1,4 @@ -*/* -!*/package.sh -!*/patches/* +*/* +!*/package.sh +!*/patches +!*/patches/*