mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
6313b3229a
This commit fixes the detection of the revng-c include file in build directory, using the PathList facility provided by revng. Before this commit, running revng-c from build directory failed to properly identify the revng-c include if it was not already installed but only available in the build directory itself.