Skip to content

Commit

Permalink
Merge pull request #96 from paulgazz/necip-fix-sampling
Browse files Browse the repository at this point in the history
klocalizer: fix using --sample 0 with --report-all
  • Loading branch information
paulgazz authored Aug 28, 2021
2 parents 528d4ac + d73a3d4 commit c6e83a0
Showing 1 changed file with 1 addition and 2 deletions.
3 changes: 1 addition & 2 deletions kmax/klocalizer
Original file line number Diff line number Diff line change
Expand Up @@ -113,7 +113,6 @@ def klocalizerCLI():
help="""Just show the Kbuild constraints for the given compilation unit. All other arguments are ignored.""")
argparser.add_argument("--sample",
type=int,
default=1,
help="""Generate the given number of configurations. Cannot be used with --approximate and will output to --sample-prefix instead of --output-file.""")
argparser.add_argument("--sample-prefix",
type=str,
Expand Down Expand Up @@ -310,7 +309,7 @@ def klocalizerCLI():
argparser.print_help()
logger.error("Must provide a sample size of 0 or more\n")
exit(12)
if reportallarchs:
if reportallarchs and sample > 0:
argparser.print_help()
logger.error("Cannot use --report-all when requesting a sample.\n")
exit(12)
Expand Down

0 comments on commit c6e83a0

Please sign in to comment.