diff options
Diffstat (limited to 'config/var-def.mk')
| -rw-r--r-- | config/var-def.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config/var-def.mk b/config/var-def.mk index 21f8e5fe..2b91a330 100644 --- a/config/var-def.mk +++ b/config/var-def.mk @@ -207,7 +207,7 @@ DAASE = $(oa_src_datadir) ## ------------------------------------------- oa_hammer = $(top_builddir)/src/utils/hammer$(EXEEXT) -AXIOM_LISP = @AXIOM_LISP@ +OA_LISP = @OA_LISP@ # Extension of the output file name returned by compile-file FASLEXT = @oa_fasl_type@ |