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-main.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-main.hs')
| -rw-r--r-- | src/programs/gf-main.hs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/programs/gf-main.hs b/src/programs/gf-main.hs new file mode 100644 index 000000000..1dae54bc7 --- /dev/null +++ b/src/programs/gf-main.hs @@ -0,0 +1,3 @@ +import qualified GF + +main = GF.main |