diff options
Diffstat (limited to 'config/var-def.mk')
| -rw-r--r-- | config/var-def.mk | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/config/var-def.mk b/config/var-def.mk index ef7941ea..32e5c572 100644 --- a/config/var-def.mk +++ b/config/var-def.mk @@ -190,16 +190,8 @@ AXIOM = $(top_builddir)/target/$(target) ## Where to find OpenAxiom data bases. DAASE = $(axiom_src_datadir) -# What platform is this build for? The use of `export' below, -# as much as I dislike it is OK: we now require GNU Make. -SYS = $(target) -export SYS - TMP=$(axiom_builddir) -## Variables to export to sub-processes of Make -AX_FLAGS = SYS=$(SYS) - ## Shall we build GCL? axiom_include_gcl = @axiom_include_gcl@ |