From 4e933956abb5045efaad4b68decce1ca4bd43700 Mon Sep 17 00:00:00 2001
From: Teddy <ted.sybil@gmail.com>
Date: Mon, 12 Aug 2013 14:43:36 +0800
Subject: change the name of compiled executable file

---
 Makefile | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/Makefile b/Makefile
index 45795d8..aeab6a0 100644
--- a/Makefile
+++ b/Makefile
@@ -1,15 +1,15 @@
-main: main.o parser.o builtin.o model.o eval.o exc.o consts.o types.o
-	g++ -o main $^ -pg -lgmp
+sonsi: main.o parser.o builtin.o model.o eval.o exc.o consts.o types.o
+	g++ -o sonsi $^ -pg -lgmp
 
 .cpp.o:
 	g++ $< -c -g -pg -DGMP_SUPPORT -Wall -O2
 
 clean:
 	rm -f *.o
-	rm -f main
+	rm -f sonsi
 
 db:
-	gdb main
+	gdb sonsi
 
 cdb:
-	cgdb main
+	cgdb sonsi
-- 
cgit v1.2.3-70-g09d2