diff options
| author | Xi Ruoyao <xry111@mengyan1223.wang> | 2021-07-06 23:00:16 +0800 |
|---|---|---|
| committer | Xi Ruoyao <xry111@mengyan1223.wang> | 2021-07-06 23:00:16 +0800 |
| commit | b1fb9310035ea0414edc2fa6c7493d371d787b7a (patch) | |
| tree | a41f7e6197a371edd3e65e30e589c678aa0cd182 /chapter01 | |
| parent | 3e8234557c4e07a85c578b8a993dce3365754df5 (diff) | |
DejaGNU: build in seperate directory
Upstream recommends it. And there are reports about test failure when
DejaGNU is build in source directory ("./configure").
Diffstat (limited to 'chapter01')
0 files changed, 0 insertions, 0 deletions