From 20d05d39fc65c1f4da69ba4a23f93be052b2d62a Mon Sep 17 00:00:00 2001
From: Baruch Sterin <baruchs@gmail.com>
Date: Sat, 21 Jan 2012 18:38:09 -0800
Subject: minor changes to Makefile: (1) use CC instead of gcc to compile
 arch_flags, and (2) make sure arch_flags is cleaned in make clean

---
 Makefile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index c5d6989c..27b86a59 100644
--- a/Makefile
+++ b/Makefile
@@ -31,9 +31,9 @@ all: $(PROG)
 default: $(PROG)
 
 arch_flags : arch_flags.c
-	gcc arch_flags.c -o arch_flags
+	$(CC) arch_flags.c -o arch_flags
 
-ARCHFLAGS := $(shell  gcc arch_flags.c -o arch_flags && ./arch_flags)
+ARCHFLAGS := $(shell $(CC) arch_flags.c -o arch_flags && ./arch_flags)
 OPTFLAGS  := -g -O #-DABC_NAMESPACE=xxx
 
 CFLAGS   += -Wall -Wno-unused-function $(OPTFLAGS) $(ARCHFLAGS) -I$(PWD)
@@ -43,7 +43,7 @@ CXXFLAGS += $(CFLAGS)
 LIBS := -lreadline
 
 SRC  := 
-GARBAGE := core core.* *.stackdump ./tags $(PROG)
+GARBAGE := core core.* *.stackdump ./tags $(PROG) arch_flags
 
 .PHONY: tags clean docs
 
-- 
cgit v1.2.3