'make' uses gprclean instead of gprbuild.
Fixed in [c3849d].
Commit: [c3849d]
Fixed in Release_20190426.
Log in to post a comment.
Fixed in [c3849d].
Related
Commit: [c3849d]
Fixed in Release_20190426.