1
Fork 0
mirror of https://github.com/RGBCube/serenity synced 2025-07-30 03:47:35 +00:00

Ports: Move packages.db from Ports/ to Build/

When removing and recreating the Build directory, it's quite annoying
having to edit/remove Ports/packages.db as the installer won't install
previously installed port dependencies again if they're still listed.
This problem is easily solved by just considering packages.db a
build-specific file.
This commit is contained in:
Linus Groh 2021-02-01 19:36:18 +01:00 committed by Andreas Kling
parent 878d353c3d
commit 02520f16e3
3 changed files with 16 additions and 14 deletions

1
.gitignore vendored
View file

@ -37,7 +37,6 @@ compile_commands.json
.clang_complete
.clangd
*Endpoint.h
Ports/packages.db
.idea/
cmake-build-debug/
sync-local.sh