# [PATCH] Kill $COPTS in favour of $CFLAGS

1 messages from 2005-08-04 to 2005-08-04. Participants: Petr Baudis.
Thread: https://gitlist.dev/t/1417

## Petr Baudis, 2005-08-04 22:52

Subject: [PATCH] Kill $COPTS in favour of $CFLAGS
Message-ID: <20050804225216.GH24479@pasky.ji.cz>
URL: https://gitlist.dev/e/20050804225216.GH24479%40pasky.ji.cz

```
As proposed on the mailing list previously, remove the seemingly obscure
$COPTS usage in favour of a default $CFLAGS value, which is a more usual
usage.

Signed-off-by: Petr Baudis <pasky@ucw.cz>

---
commit 3e90b732f2c1c5d6b3b460be0c17cd24f3932ced
tree 51f9664dbc8e3b72b9941e5ccf8de867c3fb35b1
parent f0487fa4109c37dc67439c40ad894ec73433f471
author Petr Baudis <pasky@suse.cz> Fri, 05 Aug 2005 00:47:34 +0200
committer Petr Baudis <xpasky@machine.sinus.cz> Fri, 05 Aug 2005 00:47:34 +0200

 Makefile |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
--- a/Makefile
+++ b/Makefile
@@ -34,8 +34,8 @@
 
 GIT_VERSION=0.99.3
 
-COPTS?=-g -O2
-CFLAGS+=$(COPTS) -Wall $(DEFINES)
+CFLAGS?=-g -O2
+CFLAGS+=-Wall $(DEFINES)
 
 prefix=$(HOME)
 bindir=$(prefix)/bin

```