From efff41aa85f033787d82717916786dfa5137777f Mon Sep 17 00:00:00 2001 From: malc Date: Wed, 19 Nov 2008 07:39:25 +0300 Subject: [PATCH] Fix deps for skin[vp].c --- build.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build.ml b/build.ml index e4013ae..b4f1491 100644 --- a/build.ml +++ b/build.ml @@ -30,7 +30,7 @@ let boc flags src = [Filename.concat srcdir c] ( if src = "skin" || src = "skinvp" - then StrSet.add "progvp1.h" + then (StrSet.add (Filename.concat srcdir "pgl.h") (StrSet.singleton (Filename.concat srcdir "vec.c"))) else StrSet.empty -- 2.11.4.GIT