You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
tools are now looking into the build to find the file (arangodb#7128)
* tools are now looking into the build to find the file
The file does not need to be copied anymore. In fact it
tends to confuse tools. This is especially true for
different build types, that use different flags,
using the same source directory.
0 commit comments