diff options
| author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2014-12-21 08:26:20 +0000 |
|---|---|---|
| committer | Gabriel Scherer <gabriel.scherer@gmail.com> | 2014-12-21 08:26:20 +0000 |
| commit | e2b662980fe1baba29c96a10195eed9a0a71859c (patch) | |
| tree | 81d4f0f312447e04a2220921a5388578fbbf1052 /stdlib/nativeint.ml | |
| parent | 4c5c12478533f8a8fd35d10882ba0f1700a615ea (diff) | |
testsuite/Makefile.toplevel: make terminal DUMB by default (tests rely on this)
Currently it is not equivalent to do:
cd testsuite; make one DIR=tests/$foo
and
cd testsuite/tests/$foo; make
because the latter will not set TERM=dumb and toplevel tests will use
nice escape-code location highlighting instead of ASCII-made squiggly
lines, which breaks the tests.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15716 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/nativeint.ml')
0 files changed, 0 insertions, 0 deletions