Revert "dashboard/config: enable POOL_DEBUG on OpenBSD (#1113)"

[blackgnezdo]

This reverts commit 2fbd3aa.

This unbreaks the build:

/syzkaller/managers/main/kernel/sys/arch/amd64/conf/SYZKALLER
/syzkaller/managers/main/kernel/sys/arch/amd64/conf/SYZKALLER:6: already have options `POOL_DEBUG'

[blackgnezdo]

@mptre @dvyukov

[codecov-io]

Codecov Report

Merging #1125 into master will decrease coverage by 0.11%.
The diff coverage is n/a.

@@            Coverage Diff            @@
##           master   #1125      +/-   ##
=========================================
- Coverage   67.22%   67.1%   -0.12%     
=========================================
  Files         120     120              
  Lines       20705   20705              
=========================================
- Hits        13919   13895      -24     
- Misses       6123    6148      +25     
+ Partials      663     662       -1

Impacted Files	Coverage Δ
prog/target.go	55.07% <0%> (-7.25%)	⬇️
prog/mutation.go	92.76% <0%> (-1.81%)	⬇️
prog/any.go	88.69% <0%> (-0.71%)	⬇️
pkg/csource/csource.go	67.46% <0%> (-0.61%)	⬇️
prog/rand.go	85.89% <0%> (-0.43%)	⬇️

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update c402d8f...ef2e817. Read the comment docs.

[mptre]

Looks good. Didn't know config(8) detected duplicates.

[blackgnezdo]

Maybe it shouldn't? There is no ambiguity of expectations between seeing an option once or twice...

…

On Sun, Apr 14, 2019, 01:23 Anton Lindqvist ***@***.***> wrote: Looks good. Didn't know config(8) detected duplicates. — You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub <#1125 (comment)>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AIXNMk1dtekIC3W0Ep3aFzeacazMMmMPks5vguV1gaJpZM4cuQba> .