summaryrefslogtreecommitdiff
path: root/src/GF/Compile/Compile.hs
diff options
context:
space:
mode:
authoraarne <unknown>2004-08-13 20:46:54 +0000
committeraarne <unknown>2004-08-13 20:46:54 +0000
commit1142d18a08cb8b9b96aefbd52fdadb05cb1982c7 (patch)
treed3a7c3242b7687cccfe30793d0cf7a1aca636ed0 /src/GF/Compile/Compile.hs
parent69aa3248d2ea878ef45e9e8c177381730d949c32 (diff)
-s
Diffstat (limited to 'src/GF/Compile/Compile.hs')
-rw-r--r--src/GF/Compile/Compile.hs3
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