New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Not adapting the build configuration #11

Open

josephKaberuka365 opened this issue Sep 19, 2023 · 0 comments

josephKaberuka365 commented Sep 19, 2023

./cheribuild.py, cannot override the read from the configuration file

the launch of this script continue to fail as it complaints for "cheribuild.json file" when it is availble and the missing of unknown target

The creation of the complained "cheribuild.json" file in home directory, aggravates the situation, this time the error:

"Unknown config options 'cheri-bsd/build-options' in home directory i.e., /home/joseph/cheribuild/cheribuild.json"

With this issue, available or absence of the "cheribuild.json" file do not resolve the matter.

This failure cannot lead to a successful build

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment