diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-08-21 15:51:29 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-08-21 15:51:29 +0000 |
| commit | f19b07ceb5b649991cec0fb91d24dc74c7f7cdbf (patch) | |
| tree | e57ff9c9ce04b4a3262521f5743f9a7ef83b589e | |
| parent | ef6d755c944ef5af40c909c6683a3691dc9f6a57 (diff) | |
| download | open-axiom-f19b07ceb5b649991cec0fb91d24dc74c7f7cdbf.tar.gz | |
Remove setting of TMP
| -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@ |