aboutsummaryrefslogtreecommitdiff
path: root/config
diff options
context:
space:
mode:
Diffstat (limited to 'config')
-rw-r--r--config/var-def.mk1
1 files changed, 1 insertions, 0 deletions
diff --git a/config/var-def.mk b/config/var-def.mk
index 194a427a..83fcdc50 100644
--- a/config/var-def.mk
+++ b/config/var-def.mk
@@ -133,6 +133,7 @@ STAMP = echo timestamp >
quiet_flags = @axiom_quiet_flags@
eval_flags = @axiom_eval_flags@
+oa_standard_linking = @oa_standard_linking@
## Absolute path to the toplevel source directory for OpenAxiom. This is