diff options
Diffstat (limited to 'dev-lang/mlton/mlton-20180207.ebuild')
| -rw-r--r-- | dev-lang/mlton/mlton-20180207.ebuild | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dev-lang/mlton/mlton-20180207.ebuild b/dev-lang/mlton/mlton-20180207.ebuild index 8ef03ed2eee9..69c52b386626 100644 --- a/dev-lang/mlton/mlton-20180207.ebuild +++ b/dev-lang/mlton/mlton-20180207.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2021 Gentoo Authors +# Copyright 1999-2022 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=7 @@ -88,7 +88,7 @@ mlton_bootstrap_variant() { } mlton_bootstrap_build_dir() { - echo $(basename ${S})"-"$(mlton_bootstrap_variant) + echo "$(basename "${S}")-$(mlton_bootstrap_variant)" } mlton_bootstrap_bin_dir() { |