From 08411be90dcce22cf92bca1c42331a8da884746e Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Sat, 2 Jun 2018 10:13:41 +0200
Subject: Don't depend on ../../clightgen

It's not really necessary, and under Windows it's really ../../clightgen.exe,
which confuses make.
---
 test/clightgen/Makefile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/test/clightgen/Makefile b/test/clightgen/Makefile
index 208c2d0d..0dc1dd00 100644
--- a/test/clightgen/Makefile
+++ b/test/clightgen/Makefile
@@ -26,13 +26,13 @@ all: $(SRC:.c=.vo)
 
 test:
 
-%.v: %.c $(CLIGHTGEN)
+%.v: %.c
 	$(CLIGHTGEN) $(CFLAGS) -o $@ $<
 
-%.v: ../c/%.c $(CLIGHTGEN)
+%.v: ../c/%.c
 	$(CLIGHTGEN) $(CFLAGS) -o $@ $<
 
-%.v: ../raytracer/%.c $(CLIGHTGEN)
+%.v: ../raytracer/%.c
 	$(CLIGHTGEN) -I../raytracer -fall $(CFLAGS) -o $@ $<
 
 %.vo: %.v
-- 
cgit