diff options
| author | hallgren <hallgren@chalmers.se> | 2015-03-13 13:48:14 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2015-03-13 13:48:14 +0000 |
| commit | 421bdf3903fac12f46a0cf727f121e7c2447a97d (patch) | |
| tree | af6d94c3facf96346994001ff1f4124d7b6ae221 /src | |
| parent | cd50599267c32391cc7a544caa8e9348ed55d939 (diff) | |
GF.CompileInParallel: fix a Win32 problem
Recognize \ in addition to / when extracting path components.
Diffstat (limited to 'src')
| -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) = |