diff options
Diffstat (limited to 'config/var-def.mk')
| -rw-r--r-- | config/var-def.mk | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/config/var-def.mk b/config/var-def.mk index a4dc07e8..cd5041a9 100644 --- a/config/var-def.mk +++ b/config/var-def.mk @@ -207,6 +207,8 @@ oa_enable_profiling = @oa_enable_profiling@ oa_enable_lisp_profiling = \ $(call oa_yesno_to_lisp_boolean,$(oa_enable_profiling)) +oa_enable_threads = @oa_enable_threads@ + axiom_use_x = @axiom_use_x@ AXIOM_X11_CFLAGS = @X_CFLAGS@ AXIOM_X11_LDFLAGS = @X_LIBS@ @X_PRE_LIBS@ -lX11 @X_EXTRA_LIBS@ |