Skip to content
This repository has been archived by the owner on Apr 9, 2019. It is now read-only.

Remove the DejaGnu-related check boxes from the UI #21

Open
unix-junkie opened this issue Sep 1, 2017 · 0 comments
Open

Remove the DejaGnu-related check boxes from the UI #21

unix-junkie opened this issue Sep 1, 2017 · 0 comments
Assignees
@unix-junkie
Labels
dejagnu ui

Comments

@unix-junkie
Copy link
Owner

Both options control whether workarounds for buggy DejaGnu versions (1.5.x, 1.6.0) will be applied. Since these workarounds are safe (neither of them can corrupt a well-formed XML), we should have them enabled permanently and remove the corresponding check boxes from the UI.
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@unix-junkie unix-junkie

Labels
dejagnu ui
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@unix-junkie