diff options
| author |  Pierre Boutillier <pierre.boutillier@ens-lyon.org> | 2014-04-08 20:12:36 +0200 |
|---|---|---|
| committer | Pierre Boutillier <pierre.boutillier@ens-lyon.org> | 2014-04-09 22:50:36 +0200 |
| commit | b89502c9f2bf56ee89b7e280815c339ef7b8947c (patch) | |
| tree | 35f9cd1d3371d52026e72c33c6b6c5480c05af27 /test-suite/failure | |
| parent | 24ea28b87f0227582ae29ea6bb485812c6b641eb (diff) | |
Revert "Revert part of eba6b75 as coq_makefile ignores -I if it overlaps with -R. (Fix for Rocq/Rational.)"
This reverts commit 7d3ce4012a53b123dac95381bf46aac65f865d69.
Conflicts:
CHANGES
Diffstat (limited to 'test-suite/failure')
0 files changed, 0 insertions, 0 deletions