Changes between Initial Version and Version 1 of Ticket #33259, comment 24
- Timestamp:
- Mar 11, 2015, 9:49:38 AM (10 years ago)
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? 1 The 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?). 2 2 3 3 As 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.