From 042d0dfdc221eead3df0e0e779d82d75411fce59 Mon Sep 17 00:00:00 2001 From: William S Fulton Date: Thu, 9 May 2013 19:41:29 +0100 Subject: [PATCH] Guile port example Makefile correction --- Examples/guile/port/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Examples/guile/port/Makefile b/Examples/guile/port/Makefile index ec5d5198a..d6ec0ac24 100644 --- a/Examples/guile/port/Makefile +++ b/Examples/guile/port/Makefile @@ -5,7 +5,7 @@ TARGET = port INTERFACE = example.i check: build - ./$(TARGET) -s runme.scm + $(MAKE) -f $(TOP)/Makefile TARGET='$(TARGET)' guile_augmented_run build: $(MAKE) -f $(TOP)/Makefile SRCS='$(SRCS)' SWIG='$(SWIG)' \