From b90332065c022332eb7a8d0505ef737e925914a1 Mon Sep 17 00:00:00 2001 From: aarne Date: Fri, 11 Feb 2005 11:06:47 +0000 Subject: bugfix in make of incomplete --- src/GF/Infra/ReadFiles.hs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src') diff --git a/src/GF/Infra/ReadFiles.hs b/src/GF/Infra/ReadFiles.hs index 380c0cfb5..8f6b5c971 100644 --- a/src/GF/Infra/ReadFiles.hs +++ b/src/GF/Infra/ReadFiles.hs @@ -116,7 +116,8 @@ needCompile opts headers sfiles0 = paths $ res $ mark $ iter changed where let us = uses f in if not (all noComp us) then fp else - if (elem (typ f) [MTyIncomplete, MTyIncResource] || + if (elem (typ f) [] ---- MTyIncomplete, MTyIncResource] + || (not (null us) && all isAux us)) then (f,(p,CSDont)) else fp -- cgit v1.2.3