Skip to content

Commit

Permalink
Make it an error if no AOM profile file is found. When the directory …
Browse files Browse the repository at this point in the history
…is found, write it to the config.
  • Loading branch information
wolandscat committed Jun 25, 2024
1 parent 7366a4a commit 2e4d638
Showing 1 changed file with 6 additions and 1 deletion.
7 changes: 6 additions & 1 deletion components/app_shell/app_root.e
Original file line number Diff line number Diff line change
Expand Up @@ -154,11 +154,16 @@ feature -- Initialisation
--
if file_system.directory_exists (aom_profile_directory) then
aom_profiles_access.initialise (aom_profile_directory)

-- make sure it is in the cfg file
if aom_profile_user_directory.is_empty then
set_aom_profile_user_directory (aom_profile_directory)
end
if not aom_profiles_access.found_valid_profiles then
merge_errors (aom_profiles_access.errors)
end
else
add_warning ({ADL_MESSAGES_IDS}.ec_aom_profile_dir_not_valid, <<aom_profile_directory>>)
add_error ({ADL_MESSAGES_IDS}.ec_aom_profile_dir_not_valid, <<aom_profile_directory>>)
end

-- process repositories and validate; determine setting for `current_library' if
Expand Down

0 comments on commit 2e4d638

Please sign in to comment.