diff options
Diffstat (limited to 'src/compiler/GF/CompileInParallel.hs')
| -rw-r--r-- | src/compiler/GF/CompileInParallel.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/compiler/GF/CompileInParallel.hs b/src/compiler/GF/CompileInParallel.hs index 48e5821b0..d988d5ef1 100644 --- a/src/compiler/GF/CompileInParallel.hs +++ b/src/compiler/GF/CompileInParallel.hs @@ -63,6 +63,7 @@ parallelBatchCompile jobs opts rootfiles0 = all_modes = ["alltenses","present"] dropSlash ('/':p) = p + dropSlash ('\\':p) = p dropSlash p = p batchCompile1 lib_dir (opts,filepaths) = |