diff options
| author | hallgren <hallgren@chalmers.se> | 2014-10-16 15:21:00 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2014-10-16 15:21:00 +0000 |
| commit | 5a641ebe730662c5c439521a1caddcc8a3125399 (patch) | |
| tree | 57e2c7aefa0213a14b955a22a8ae2dd2b184764a /src/programs/gf.hs | |
| parent | 2e2e7acf12c1b84eb1d4f0ac28d120a4d0c4a1c4 (diff) | |
Rename src/programs/gf.hs to gf-main.hs to avoid confusing GHC
It appears that GHC can't keep GF.hs and gf.hs apart on systems with case
insensitive file names.
Diffstat (limited to 'src/programs/gf.hs')
| -rw-r--r-- | src/programs/gf.hs | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/programs/gf.hs b/src/programs/gf.hs deleted file mode 100644 index 1dae54bc7..000000000 --- a/src/programs/gf.hs +++ /dev/null @@ -1,3 +0,0 @@ -import qualified GF - -main = GF.main |