diff options
| -rw-r--r-- | erts/configure.in | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/erts/configure.in b/erts/configure.in index 2d9df13844..01b7c1bfd7 100644 --- a/erts/configure.in +++ b/erts/configure.in @@ -561,7 +561,8 @@ if test "X$PROFILE_INSTR_GENERATE" = "Xtrue"; then PROFILE_INSTR_USE=false]) rm -f default.profdata fi], - []) + [], + [AC_MSG_NOTICE([Disabling PGO when cross-compiling])]) rm -f *.profraw CFLAGS=$saved_CFLAGS; fi |