diff options
Diffstat (limited to 'src/Makefile.in')
| -rw-r--r-- | src/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Makefile.in b/src/Makefile.in index e9b7ecb7..fe45f1c0 100644 --- a/src/Makefile.in +++ b/src/Makefile.in @@ -236,6 +236,7 @@ ECHO_N = @ECHO_N@ ECHO_T = @ECHO_T@ EGREP = @EGREP@ EXEEXT = @EXEEXT@ +FASLEXT = @FASLEXT@ FGREP = @FGREP@ GCLOPTS = @GCLOPTS@ GREP = @GREP@ @@ -348,7 +349,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@ |