diff options
| author | MarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz> | 2023-08-04 13:09:55 +0200 |
|---|---|---|
| committer | MarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz> | 2023-08-23 15:40:21 +0200 |
| commit | fa15f7e082396089f0945b53b60cf3ce952e9794 (patch) | |
| tree | 53e1df834d551114620f12576e43f0a289a6a848 /ci | |
| parent | fa378bed56db66119b7f5847b749c4900b04c0a1 (diff) | |
ci: Remove no longer applicable section
This fails with:
"Error: determining starting point for build: no FROM statement found"
Diffstat (limited to 'ci')
| -rw-r--r-- | ci/README.md | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/ci/README.md b/ci/README.md index 096b75324f..f89af329dd 100644 --- a/ci/README.md +++ b/ci/README.md @@ -39,9 +39,6 @@ the system package manager to install build dependencies. This guarantees that the tester is using the same versions as the release builds, which also use `./depends`. -If no `FILE_ENV` has been specified or values are left out, `00_setup_env.sh` -is used as the default configuration with fallback values. - It is also possible to force a specific configuration without modifying the file. For example, |