Code

--debug implies -O0 as the default#2728

Code

Merged

paulcadman merged 2 commits intomainanoma/juvix:mainfrom 2726-juvix-compile-debug-no-longer-implies-o0-by-defaultanoma/juvix:2726-juvix-compile-debug-no-longer-implies-o0-by-defaultCopy head branch name to clipboardApr 16, 2024

+6-1

Commits

Commits on Apr 16, 2024

• --debug implies -O0 as the default

  

  janmasrovira

  authored and

  lukaszcz

  committed
  7121703

• ormolu

  

  janmasrovira

  authored and

  lukaszcz

  committed
  18bd96e