diff options
| -rw-r--r-- | compiler/main/DynFlags.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/main/DynFlags.hs b/compiler/main/DynFlags.hs index f809bc330f..d873df6333 100644 --- a/compiler/main/DynFlags.hs +++ b/compiler/main/DynFlags.hs @@ -3108,9 +3108,9 @@ dynamic_flags_deps = [ , make_ord_flag defGhcFlag "split-sections" (noArgM (\dflags -> do if platformHasSubsectionsViaSymbols (targetPlatform dflags) - then do addErr $ + then do addWarn $ "-split-sections is not useful on this platform " ++ - "since it always uses subsections via symbols." + "since it always uses subsections via symbols. Ignoring." return dflags else return (gopt_set dflags Opt_SplitSections))) |