From b805b9ae66d279c4fee20c433e6c218f29103978 Mon Sep 17 00:00:00 2001
From: Joey Hess <joey@kitenet.net>
Date: Sun, 12 Dec 2010 13:16:34 -0400
Subject: Makefile: Add GHCOPTS variable.

---
 Makefile         | 3 ++-
 debian/changelog | 1 +
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 5a3935643..d5f1f652f 100644
--- a/Makefile
+++ b/Makefile
@@ -1,5 +1,6 @@
 PREFIX=/usr
-GHCMAKE=ghc -Wall -odir build -hidir build -O2 --make 
+GHCOPTS=-O2 -Wall
+GHCMAKE=ghc -odir build -hidir build $(GHCOPTS) --make
 
 all: git-annex git-annex.1 docs
 
diff --git a/debian/changelog b/debian/changelog
index 7e08b0731..5d088f1bd 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,6 +1,7 @@
 git-annex (0.13) UNRELEASED; urgency=low
 
   * Makefile: Install man page and html (when built).
+  * Makefile: Add GHCOPTS variable.
 
  -- Joey Hess <joeyh@debian.org>  Sun, 12 Dec 2010 13:14:58 -0400
 
-- 
cgit v1.2.3