Remove unused configopt due to repetition in Graphviz easyconfigs#25189
Remove unused configopt due to repetition in Graphviz easyconfigs#25189branfosj merged 1 commit intoeasybuilders:developfrom
Graphviz easyconfigs#25189Conversation
6fcf069 to
962002e
Compare
|
@boegelbot please test @ jsc-zen3 |
|
@Crivella: Request for testing this PR well received on jsczen3l1.int.jsc-zen3.fz-juelich.de PR test command '
Test results coming soon (I hope)... Details- notification for comment with ID 3822958353 processed Message to humans: this is just bookkeeping information for me, |
|
Test report by @Crivella |
|
Test report by @boegelbot |
|
Test report by @branfosj |
|
Going in, thanks @Crivella! |
|
Test report by @branfosj |
Only the last option is used by
./configure.Since the last one is the correct one, no failure is seen in the builds but this can mess up hooks that do stuff on the configopts without keeping order.
See for example