From 6b365f926f1f0430c34498392e1dddbff126bc48 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Sun, 10 Feb 2008 04:48:39 +0000 Subject: Add support for batch processing. --- Makefile.in | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'Makefile.in') diff --git a/Makefile.in b/Makefile.in index 3a13a37f..2a33363d 100644 --- a/Makefile.in +++ b/Makefile.in @@ -99,9 +99,9 @@ install: @echo Installing OpenAxiom in $(prefix) @$(mkinstalldirs) "$(DESTDIR)$(open_axiom_installdir)" cp -pr "$(builddir)"/$(target)/* "$(DESTDIR)$(open_axiom_installdir)" - rm -f "$(bindir)"/axiom + rm -f "$(bindir)"/open-axiom @$(mkinstalldirs) "$(bindir)" - $(INSTALL_PROGRAM) src/driver/axiom$(EXEEXT) "$(bindir)" + $(INSTALL_PROGRAM) src/driver/open-axiom$(EXEEXT) "$(bindir)" @echo OpenAxiom installation finished. .PHONY: check -- cgit v1.2.3