diff options
Diffstat (limited to 'patch')
-rw-r--r-- | patch | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/patch b/patch deleted file mode 100644 index 5fa1d0c6aaa3..000000000000 --- a/patch +++ /dev/null @@ -1,10 +0,0 @@ -diff --git a/stack.yaml b/stack.yaml -index 3f33b46a1fe2..fac7d8b8dfd2 100644 ---- a/stack.yaml -+++ b/stack.yaml -@@ -6,3 +6,5 @@ packages: - resolver: lts-6.2 - extra-deps: - - system-argv0-0.1.1 # Necessary for LTS 2.22 (GHC 7.8) -+ghc-options: -+ "*": -static -optl-pthread -optc-static -optl-static |