diff options
author | V3n3RiX <venerix@koprulu.sector> | 2022-06-29 12:04:12 +0100 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2022-06-29 12:04:12 +0100 |
commit | 0f558761aa2dee1017b4751e4017205e015a9560 (patch) | |
tree | 037df795519468a25d9362b4e95cdaeb84eb1cf9 /dev-lang/mlton/mlton-20180207.ebuild | |
parent | 752d6256e5204b958b0ef7905675a940b5e9172f (diff) |
gentoo resync : 29.12.2022
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() { |