diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/GF/Infra/ReadFiles.hs | 3 |
1 files changed, 2 insertions, 1 deletions
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 |