SpiceQA
Questions
Tags
Users
Badges
gprbuild
gprbuild
1 Questions
Newest
Active
Unanswered
Frequent
More
Score
View
Card
Compact
is there a way to make gprconfig use $USER for pathnames so that output file is independent of logged-in USER?
capt tuttle
0
•
asked Sep 21, 2022
0
0
8
gprbuild
development-environment
1
(current)
Hot Questions