diff options
| author | aarne <unknown> | 2004-08-13 20:46:54 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-08-13 20:46:54 +0000 |
| commit | 1142d18a08cb8b9b96aefbd52fdadb05cb1982c7 (patch) | |
| tree | d3a7c3242b7687cccfe30793d0cf7a1aca636ed0 /src/GF/Compile/Compile.hs | |
| parent | 69aa3248d2ea878ef45e9e8c177381730d949c32 (diff) | |
-s
Diffstat (limited to 'src/GF/Compile/Compile.hs')
| -rw-r--r-- | src/GF/Compile/Compile.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/GF/Compile/Compile.hs b/src/GF/Compile/Compile.hs index b0f9bb581..5ca8d71b4 100644 --- a/src/GF/Compile/Compile.hs +++ b/src/GF/Compile/Compile.hs @@ -84,11 +84,12 @@ compileModule opts st0 file | compileModule opts1 st0 file = do opts0 <- ioeIO $ getOptionsFromFile file let useFileOpt = maybe False (const True) $ getOptVal opts0 pathList + let useLineOpt = maybe False (const True) $ getOptVal opts1 pathList let opts = addOptions opts1 opts0 let fpath = justInitPath file let ps0 = pathListOpts opts fpath - let ps1 = if useFileOpt + let ps1 = if (useFileOpt && not useLineOpt) then (map (prefixPathName fpath) ps0) else ps0 ps <- ioeIO $ extendPathEnv gfGrammarPathVar ps1 |
