File guava-make.diff of Package gap-guava

From: Jan Engelhardt <jengelh@inai.de>
Date: 2017-09-09 20:08:25.860902839 +0200

build: fix nonsensical cd command

---
 src/Makefile |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Index: guava-3.13/src/Makefile
===================================================================
--- guava-3.13.orig/src/Makefile
+++ guava-3.13/src/Makefile
@@ -11,7 +11,7 @@ SUBDIRS = leon ctjhai
 .PHONY: all $(SUBDIRS)
 
 all :	$(FILES)
-	cd leon make
+	${MAKE} -C leon
 
 leonconv: leonconv.c
 	$(CC) $(CPPFLAGS) $(CFLAGS) $(LDFLAGS) -o leonconv leonconv.c