From e8ff61e64b8cacb54e78c2007d268fcaee938352 Mon Sep 17 00:00:00 2001 From: Linus Groh Date: Sun, 14 Feb 2021 18:51:44 +0100 Subject: [PATCH] Ports: Document build_{all,installed}.sh --- Ports/ReadMe.md | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/Ports/ReadMe.md b/Ports/ReadMe.md index 0f72985888..dc242b8abd 100644 --- a/Ports/ReadMe.md +++ b/Ports/ReadMe.md @@ -18,7 +18,13 @@ its dependencies, the required files that will be downloaded as well as configuration/compilation options, and some other things (see [Writing ports scripts](#writing-ports-scripts) for details). -To install a certain port, `cd` into its directory and run `./package.sh` +- To install a certain port, `cd` into its directory and run `./package.sh` +- To install all available ports, run the `build_all.sh` script in this + directory. Pass `clean` as first argument to remove old build files + beforehand. +- To reinstall all currently installed ports, run the `build_installed.sh` + script in this directory. This is sometimes required when LibC changes, for + example. Pass `clean` as first argument to remove old build files beforehand. Installed ports are being tracked in `Build/packages.db` (a simple text file). You can delete this file at any time, in fact it must be edited or removed