testsuite: Don't run T16525a with -DS unless compiler_debugged

Authored by bgamari on Jun 23 2019, 10:23 AM.

Description

testsuite: Don't run T16525a with -DS unless compiler_debugged

Originally I was thinking of just skipping the test unless
compiled_debugged==True. However, the test will likely be useful even
without -DS, so let's run it either way.

Details

Committed
Marge Bot <ben+marge-bot@smart-cactus.org>Jun 25 2019, 7:38 AM
Parents
rGHC95f56853d628: gitlab-ci: Add testsuite typechecking lint
Branches
Unknown
Tags
Unknown