From 6057ffd693d1118378d8a33568e14321561179cd Mon Sep 17 00:00:00 2001 From: Joel Dice Date: Thu, 3 Jan 2008 19:17:42 -0700 Subject: [PATCH] whitespace tweak --- makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/makefile b/makefile index a554c1d3fb..672be6e55c 100644 --- a/makefile +++ b/makefile @@ -38,7 +38,7 @@ cc = $(build-cc) ar = ar ranlib = ranlib objcopy = objcopy -vg = nice valgrind --num-callers=32 --db-attach=yes --freelist-vol=100000000 +vg = nice valgrind --num-callers=32 --db-attach=yes --freelist-vol=100000000 vg += --leak-check=full db = gdb --args javac = javac