Deprecate DCE:on (#13839)

This commit is contained in:
Juan Carlos 2020-04-01 21:58:43 -03:00 • committed by GitHub
commit 46ca19ff18
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
24 changed files with 0 additions and 43 deletions

View file

@ -10,8 +10,6 @@
## Floating-point environment. Handling of floating-point rounding and
## exceptions (overflow, division by zero, etc.).
{.deadCodeElim: on.} # dce option deprecated
when defined(Posix) and not defined(genode):
{.passl: "-lm".}