From 20bd85b52dd8f12dcde5cc0c81b45b9225a86080 Mon Sep 17 00:00:00 2001
From: leitner <leitner>
Date: Fri, 7 Nov 2003 13:48:28 +0000
Subject: [PATCH] diet -Os please

---
 GNUmakefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/GNUmakefile b/GNUmakefile
index bf979b6..08a7e00 100644
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -27,7 +27,7 @@ path = $(subst :, ,$(PATH))
 diet_path = $(foreach dir,$(path),$(wildcard $(dir)/diet))
 ifeq ($(strip $(diet_path)),)
 ifneq ($(wildcard /opt/diet/bin/diet),)
-DIET=/opt/diet/bin/diet
+DIET=/opt/diet/bin/diet -Os
 else
 DIET=
 endif