Changes between Initial Version and Version 1 of Ticket #33259, comment 24


Ignore:
Timestamp:
Mar 11, 2015, 9:49:38 AM (10 years ago)
Author:
RJVB (René Bertin)
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #33259, comment 24

    initial v1  
    1 The role of `default` would be to set a default value that is applied when the variable hasn't been set already, no?
     1The role of `default` would be to set a default value that is applied when the variable hasn't been set already, no? That was how I saw its use in any case, I guess I should have stated that the OOT had to be set before including the port group (did you test that?).
    22
    33As to your last concern: I think it's not possible to cope with all possible f-ups prophylactically. Someone who sets configure.dir to a non-standard value should be prepared to change configure.post_args accordingly, IMHO.