diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-02-26 07:44:50 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-26 07:44:50 +0100 |
| commit | 1f702e35d8b6495c23ff03619c9ebe4d276f4d41 (patch) | |
| tree | 5d25a863b0189ab7fd1bae80a47fc25b5dbed408 | |
| parent | 94f78f276b530d2ff0ed6735b346bb726cfb1e15 (diff) | |
| parent | 42f6d7a4016709ba86da5b2674a95401981a771a (diff) | |
Merge pull request #46430 from kuruk-mm/fix_profile_type
SCons: Fix profile type. It is a string
| -rw-r--r-- | SConstruct | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/SConstruct b/SConstruct index ab4fe118c8..f03fb72ff3 100644 --- a/SConstruct +++ b/SConstruct @@ -95,7 +95,7 @@ env_base.SConsignFile(".sconsign{0}.dblite".format(pickle.HIGHEST_PROTOCOL)) customs = ["custom.py"] -profile = methods.get_cmdline_bool("profile", False) +profile = ARGUMENTS.get("profile", "") if profile: if os.path.isfile(profile): customs.append(profile) |