./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
./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