Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.
Sign upThe output location should both be a directory and not be directory #48
Comments
|
I can't reproduce the "only a single query can be executed" error here. It looks very weird; that message should only produced when there is more than one non-option argument, or the name specified does not in in Would you be able to supply the log files produced by giving a As a workaround while we figure out what's going on, you might have better luck with |
|
OK, so this might be because the input file name did not match > touch x
> mkdir out
> codeql query run --logdir=logs -d java-database -o out x
A fatal error occurred: [redacted]/out is a directory.
> rmdir out
> codeql query run --logdir=logs -d java-database -o out x
A fatal error occurred: The output location [redacted]/out is not a directory, so only a single query can be executed.First Run, with
|
|
Yes, that would explain it. The CLI uses file extensions to distinguish between whether the file being named is a query ( We will consider ways to improve the error message to be less confusing in future releases. Thanks for the report. |
overrides.qlis taken from https://help.semmle.com/QL/learn-ql/java/annotations.html