diff options
| author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2018-01-31 17:10:47 +0100 |
|---|---|---|
| committer | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2018-02-05 14:06:33 +0100 |
| commit | 917c8cbe9e354c53edc5ef33e2ae904bc8e49681 (patch) | |
| tree | 4a06b08c2009152a127d7d3ee491b7dd06b15c7e | |
| parent | 8c75ba867fd1eb3db49e3b4af90c9ed85f04ef56 (diff) | |
| download | ocaml-917c8cbe9e354c53edc5ef33e2ae904bc8e49681.tar.gz | |
Remove useless test from the testsuite
According to its name, this test should be related to
MPR #5080 (https://caml.inria.fr/mantis/view.php?id=5080).
However, (1) the .ml source file does not use any quotation and (2)
the flags -pp 'camlp4o pa_macro.cmo' defined in the ADD_COMPFLAGS
make variable are not used while compiling the test, because the
rules in Makefile.okbad, which do not use ADD_COMPFLAGS, take precedence.
This test thus seems useless.
| -rw-r--r-- | testsuite/tests/regression/pr5080-notes/Makefile | 20 | ||||
| -rw-r--r-- | testsuite/tests/regression/pr5080-notes/pr5080_notes_ok.ml | 4 |
2 files changed, 0 insertions, 24 deletions
diff --git a/testsuite/tests/regression/pr5080-notes/Makefile b/testsuite/tests/regression/pr5080-notes/Makefile deleted file mode 100644 index 57f971c1e8..0000000000 --- a/testsuite/tests/regression/pr5080-notes/Makefile +++ /dev/null @@ -1,20 +0,0 @@ -#************************************************************************** -#* * -#* OCaml * -#* * -#* Xavier Clerc, SED, INRIA Rocquencourt * -#* * -#* Copyright 2010 Institut National de Recherche en Informatique et * -#* en Automatique. * -#* * -#* All rights reserved. This file is distributed under the terms of * -#* the GNU Lesser General Public License version 2.1, with the * -#* special exception on linking described in the file LICENSE. * -#* * -#************************************************************************** - -ADD_COMPFLAGS = -pp 'camlp4o pa_macro.cmo' -MAIN_MODULE = pr5080_notes_ok - -include ../../../makefiles/Makefile.okbad -include ../../../makefiles/Makefile.common diff --git a/testsuite/tests/regression/pr5080-notes/pr5080_notes_ok.ml b/testsuite/tests/regression/pr5080-notes/pr5080_notes_ok.ml deleted file mode 100644 index 175bc8b743..0000000000 --- a/testsuite/tests/regression/pr5080-notes/pr5080_notes_ok.ml +++ /dev/null @@ -1,4 +0,0 @@ -let marshal_int f = - match [] with - | _ :: `INT n :: _ -> f n - | _ -> failwith "marshal_int" |