From 5f69b0d6ad49df46c3639e07558b957f3d39e37e Mon Sep 17 00:00:00 2001 From: Tim Schumacher Date: Sun, 30 Jul 2023 22:02:49 +0200 Subject: [PATCH] Base: Remove the empty /usr/lib and /usr/include directories These have been there since the initial revision of the toolchain build script, but we don't seem to require them being present in `Base` any longer. --- Base/usr/include/.gitignore | 2 -- Base/usr/include/.gitkeep | 0 Base/usr/lib/.gitignore | 2 -- Base/usr/lib/.gitkeep | 0 4 files changed, 4 deletions(-) delete mode 100644 Base/usr/include/.gitignore delete mode 100644 Base/usr/include/.gitkeep delete mode 100644 Base/usr/lib/.gitignore delete mode 100644 Base/usr/lib/.gitkeep diff --git a/Base/usr/include/.gitignore b/Base/usr/include/.gitignore deleted file mode 100644 index 5dd51d7b23..0000000000 --- a/Base/usr/include/.gitignore +++ /dev/null @@ -1,2 +0,0 @@ -* -!.git* \ No newline at end of file diff --git a/Base/usr/include/.gitkeep b/Base/usr/include/.gitkeep deleted file mode 100644 index e69de29bb2..0000000000 diff --git a/Base/usr/lib/.gitignore b/Base/usr/lib/.gitignore deleted file mode 100644 index 5dd51d7b23..0000000000 --- a/Base/usr/lib/.gitignore +++ /dev/null @@ -1,2 +0,0 @@ -* -!.git* \ No newline at end of file diff --git a/Base/usr/lib/.gitkeep b/Base/usr/lib/.gitkeep deleted file mode 100644 index e69de29bb2..0000000000