diff options
-rw-r--r-- | rts/rts.cabal.in | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/rts/rts.cabal.in b/rts/rts.cabal.in index af76886418..a1ef38808b 100644 --- a/rts/rts.cabal.in +++ b/rts/rts.cabal.in @@ -419,9 +419,6 @@ library -- This symbol is useful in gdb, but not referred to anywhere, -- so we need to force it to be included in the binary. ld-options: "-Wl,-u,findPtr" - -- This symbol is useful in gdb, but not referred to anywhere, - -- so we need to force it to be included in the binary. - "-Wl,-u,findPtr" if os(windows) if flag(leading-underscore) |