diff options
Diffstat (limited to 'config/var-def.mk')
| -rw-r--r-- | config/var-def.mk | 1 |
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 |