diff options
Diffstat (limited to 'autoconf/configure.ac')
-rw-r--r-- | autoconf/configure.ac | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/autoconf/configure.ac b/autoconf/configure.ac index e751059a28..258e6b52e4 100644 --- a/autoconf/configure.ac +++ b/autoconf/configure.ac @@ -1049,8 +1049,6 @@ AC_PATH_PROG(DOXYGEN, [doxygen]) AC_PATH_PROG(GROFF, [groff]) AC_PATH_PROG(GZIPBIN, [gzip]) AC_PATH_PROG(PDFROFF, [pdfroff]) -AC_PATH_PROG(RUNTEST, [runtest]) -DJ_AC_PATH_TCLSH AC_PATH_PROG(ZIP, [zip]) AC_PATH_PROGS(OCAMLC, [ocamlc]) AC_PATH_PROGS(OCAMLOPT, [ocamlopt]) |