diet -Os please

master
Felix von Leitner 19 years ago
parent 4253ad69dd
commit 7e56c81eb2
  1. 2
      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

Loading…
Cancel
Save