summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--dex2oat/dex2oat.cc2
1 files changed, 1 insertions, 1 deletions
diff --git a/dex2oat/dex2oat.cc b/dex2oat/dex2oat.cc
index c2d5e4dd06..0debd42834 100644
--- a/dex2oat/dex2oat.cc
+++ b/dex2oat/dex2oat.cc
@@ -813,7 +813,7 @@ class Dex2Oat FINAL {
Usage("Profile file should not be specified with both --profile-file-fd and --profile-file");
}
- if (compiler_options_->IsVerificationEnabled() && !have_profile_file && !have_profile_fd) {
+ if (compiler_options_->VerifyOnlyProfile() && !have_profile_file && !have_profile_fd) {
Usage("verify-profile compiler filter must be used with a profile file or fd");
}