diff options
author | V3n3RiX <venerix@koprulu.sector> | 2022-11-20 19:02:57 +0000 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2022-11-20 19:02:57 +0000 |
commit | 92f98ae772a60a2fa63efbda2f915da957a3b3b8 (patch) | |
tree | d30c4d95fdf2a9a61683de537f00ec566eef5a18 /dev-ada/gprbuild/gprbuild-22.0.0-r2.ebuild | |
parent | 65c1a6f8d7210639cbdc1565ccee4758f45dfc45 (diff) |
gentoo auto-resync : 20:11:2022 - 19:02:57
Diffstat (limited to 'dev-ada/gprbuild/gprbuild-22.0.0-r2.ebuild')
-rw-r--r-- | dev-ada/gprbuild/gprbuild-22.0.0-r2.ebuild | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dev-ada/gprbuild/gprbuild-22.0.0-r2.ebuild b/dev-ada/gprbuild/gprbuild-22.0.0-r2.ebuild index 976bd1e0f713..d221c018a4fe 100644 --- a/dev-ada/gprbuild/gprbuild-22.0.0-r2.ebuild +++ b/dev-ada/gprbuild/gprbuild-22.0.0-r2.ebuild @@ -45,6 +45,7 @@ src_prepare() { default sed -i \ -e "s:@VER@:${GCC_PV}:g" \ + -e "s:\$gcc_version:${GCC_PV}:g" \ share/gprconfig/compilers.xml \ share/gprconfig/gnat.xml \ share/gprconfig/c.xml \ |