diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2017-05-01 08:56:30 +0200 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2017-05-01 09:09:51 +0200 |
| commit | 8511d1d9d903e419543e39eca83c64171da2663b (patch) | |
| tree | a4fd54fedd13150bd30cedd1778634bb2344af9b /Makefile.ci | |
| parent | db28e827d21658797418c320d566fb99570b44b6 (diff) | |
Answer to db28e827d: I did test the commit on test-suite but for some
reason I overlooked the result, maybe a missing make clean.
As for testing on the travis test architecture, I could have done
it. This is a question of compromise. I was so certain that it would
work that I did not test. And anyway, the travis test is not absolute
either.
In any case, I'm very sorry about the confusion it introduced.
~~~~ BY THE WAY, NO NEED TO SHOUT ~~~~
~~~~ IT IS A BIG MISCONCEPTION ABOUT HUMAN BEINGS ~~~~
~~~~ TO BELIEVE THAT THEY DO MISTAKES INTENTIONALLY ~~~~
Thank you!
Diffstat (limited to 'Makefile.ci')
0 files changed, 0 insertions, 0 deletions