| Commit from takis | 2005-07-01 19:31 CEST |
Fix the configure script when using an external Linux build directory.
| Module | File name | Revision | |||
|---|---|---|---|---|---|
| magma | ChangeLog | 1.76 | >>> | 1.77 | |
| magma | configure.in | 1.9 | >>> | 1.10 | |
| Commit from takis | 2005-07-01 19:31 CEST |
Fix the configure script when using an external Linux build directory.
| Module | File name | Revision | |||
|---|---|---|---|---|---|
| magma | ChangeLog | 1.76 | >>> | 1.77 | |
| magma | configure.in | 1.9 | >>> | 1.10 | |