aboutsummaryrefslogtreecommitdiff
path: root/src/etc
diff options
context:
space:
mode:
Diffstat (limited to 'src/etc')
-rw-r--r--src/etc/Makefile.in5
1 files changed, 4 insertions, 1 deletions
diff --git a/src/etc/Makefile.in b/src/etc/Makefile.in
index 6052ffb7..1d2c05a5 100644
--- a/src/etc/Makefile.in
+++ b/src/etc/Makefile.in
@@ -29,8 +29,11 @@
# NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
# SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+DRIVER = ../driver/open-axiom$(EXEEX)
-INTERPSYS = ../interp/interpsys$(EXEEXT) -- --system="$(AXIOM)" \
+INTERPSYS = \
+ $(DRIVER) --execpath=../interp/interpsys$(EXEEXT) \
+ --system="$(AXIOM)" \
--sysalg="$(axiom_src_datadir)/algebra/"
openaxiom_databases = \