diff options
| author | hallgren <hallgren@chalmers.se> | 2012-03-01 14:21:47 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-03-01 14:21:47 +0000 |
| commit | 2d58947d92bd6ea142c40a5b7a82d813d56b56b3 (patch) | |
| tree | ed7eb9ea8deb666d34076a7683355f4f562cce90 | |
| parent | 145d8c149f85d37282ce722d6678973ddd68312d (diff) | |
WebSetup.hs: use </> instead of '/' for Win32 compatibility
| -rw-r--r-- | WebSetup.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/WebSetup.hs b/WebSetup.hs index 5eec3dd91..fb3cad595 100644 --- a/WebSetup.hs +++ b/WebSetup.hs @@ -50,7 +50,7 @@ setupWeb gf args dest pkg lbi = where tmp_dir = gfo_dir</>tmp cmd = gf++" -make -s -optimize-pgf --gfo-dir="++tmp_dir++ - " --gf-lib-path=dist/build/rgl"++ + " --gf-lib-path=dist"</>"build"</>"rgl"++ -- " --output-dir="++grammars_dir++ -- has no effect?! " "++src |