diff options
| author | Michał Masłowski <mtjm@mtjm.eu> | 2012-03-20 14:04:03 +0100 |
|---|---|---|
| committer | Michał Masłowski <mtjm@mtjm.eu> | 2012-03-20 14:04:03 +0100 |
| commit | fcd3ae0df41ddf3667e1c91ce48d31ef6d32e6cb (patch) | |
| tree | 220fb42fa958ca0b482753b3bfdd2eb28a3472e8 /community/coq | |
| parent | fa1021504c53eb066826883dab3918e432b93444 (diff) | |
Disable MIPS-specific assembly for openssl, it expects an Irix assembler.
Diffstat (limited to 'community/coq')
0 files changed, 0 insertions, 0 deletions