diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-11-30 14:55:37 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-30 14:55:37 +0100 |
| commit | 2a702cff419b82d6e871cc791f4beb3db7b36a5b (patch) | |
| tree | 9892537aa149ca2882dd4e02c01da142ea739f3c /main/SCsub | |
| parent | 2d118bd8b881fe9658e70eb8dc4fa7a6efac41a3 (diff) | |
| parent | c283fce698ed2d2bcf101ecc8857be5d66afecc9 (diff) | |
Merge pull request #55467 from akien-mga/remove-editor-splash-screen-platinum
Diffstat (limited to 'main/SCsub')
| -rw-r--r-- | main/SCsub | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/main/SCsub b/main/SCsub index 87d64e48f9..79dc4bff15 100644 --- a/main/SCsub +++ b/main/SCsub @@ -20,12 +20,13 @@ env_main.CommandNoCache( env.Run(main_builders.make_splash, "Building splash screen header."), ) -env_main.Depends("#main/splash_editor.gen.h", "#main/splash_editor.png") -env_main.CommandNoCache( - "#main/splash_editor.gen.h", - "#main/splash_editor.png", - env.Run(main_builders.make_splash_editor, "Building editor splash screen header."), -) +if not env_main["no_editor_splash"]: + env_main.Depends("#main/splash_editor.gen.h", "#main/splash_editor.png") + env_main.CommandNoCache( + "#main/splash_editor.gen.h", + "#main/splash_editor.png", + env.Run(main_builders.make_splash_editor, "Building editor splash screen header."), + ) env_main.Depends("#main/app_icon.gen.h", "#main/app_icon.png") env_main.CommandNoCache( |