From a016a4378541de4f43c2f1b3c14a5cb63afaadba Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Wed, 15 Apr 2020 11:33:38 -0700
Subject: [PATCH] cli: fix hiding of redundant source scripts when a .com/.exe
 exists

Related to #1225.
---
 hledger/Hledger/Cli/CliOptions.hs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/hledger/Hledger/Cli/CliOptions.hs b/hledger/Hledger/Cli/CliOptions.hs
index f7bc41178..0cdb4ec8e 100644
--- a/hledger/Hledger/Cli/CliOptions.hs
+++ b/hledger/Hledger/Cli/CliOptions.hs
@@ -649,8 +649,8 @@ hledgerAddons = do
 stripPrognamePrefix = drop (length progname + 1)
 
 dropRedundantSourceVersion [f,g]
-  | takeExtension f `elem` compiledExts = [f]
-  | takeExtension g `elem` compiledExts = [g]
+  | map toLower (takeExtension f) `elem` compiledExts = [f]
+  | map toLower (takeExtension g) `elem` compiledExts = [g]
 dropRedundantSourceVersion fs = fs
 
 compiledExts = ["",".com",".exe"]