diff options
| -rw-r--r-- | config/var-def.mk | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/config/var-def.mk b/config/var-def.mk index 928b1e8c..a086ae71 100644 --- a/config/var-def.mk +++ b/config/var-def.mk @@ -227,8 +227,6 @@ AXIOM = $(top_builddir)/$(target) ## Where to find OpenAxiom data bases. DAASE = $(axiom_src_datadir) -TMP=$(axiom_builddir) - ## Shall we build GCL? oa_include_gcl = @oa_include_gcl@ |