diff options
Diffstat (limited to 'src/io')
| -rw-r--r-- | src/io/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/io/Makefile.in b/src/io/Makefile.in index 4bf2aeee..2b0c7d32 100644 --- a/src/io/Makefile.in +++ b/src/io/Makefile.in @@ -233,6 +233,7 @@ ECHO_N = @ECHO_N@ ECHO_T = @ECHO_T@ EGREP = @EGREP@ EXEEXT = @EXEEXT@ +FASLEXT = @FASLEXT@ FGREP = @FGREP@ GCLOPTS = @GCLOPTS@ GREP = @GREP@ @@ -345,7 +346,6 @@ oa_enable_checking = @oa_enable_checking@ oa_enable_profiling = @oa_enable_profiling@ oa_enable_threads = @oa_enable_threads@ oa_eval_flags = @oa_eval_flags@ -oa_fasl_type = @oa_fasl_type@ oa_host_has_regex = @oa_host_has_regex@ oa_keep_files = @oa_keep_files@ oa_lisp_flavor = @oa_lisp_flavor@ |