39217cac7d
The new gprbuild configuration files must have a slight difference because it can no longer work with the standard buildlink. Passing an additional directory in the pass will fix it though. |
||
---|---|---|
.. | ||
patches | ||
buildlink3.mk | ||
DESCR | ||
distinfo | ||
Makefile | ||
options.mk |