From 220be87d71ab67e32cd4f3b126a6c7f27dc3e4c6 Mon Sep 17 00:00:00 2001 From: ketmar Date: Sat, 26 Nov 2011 21:49:07 +0200 Subject: [PATCH] added 'OTP=size' and 'OPT=speed' options --- defaults/Jambase | 14 ++++++++++++-- 1 file changed, 12 insertions(+), 2 deletions(-) diff --git a/defaults/Jambase b/defaults/Jambase index d77a896..1792403 100644 --- a/defaults/Jambase +++ b/defaults/Jambase @@ -2456,13 +2456,23 @@ rule profile { # DEBUG = 1 : debug # OPT_SIZE = 1 : size # OPT_SPEED = 1 : speed +# OPT=SIZE or OPT=SPEED # default: standard rule set-profile { + local otp ; + + if $(OPT) = "size" { otp = "size" ; } + else if $(OPT) = "SIZE" { otp = "size" ; } + if $(OPT) = "speed" { otp = "speed" ; } + else if $(OPT) = "SPEED" { otp = "speed" ; } + else if $(OPT_SIZE) { otp = "size" ; } + else if $(OPT_SPEED) { otp = "speed" ; } + if $(DEBUG) { profile "debug" ; - } else if $(OPT_SIZE) { + } else if $(otp) = "size" { profile "size" ; - } else if $(OPT_SPEED) { + } else if $(otp) = "speed" { profile "speed" ; } else { profile "standard" ; -- 2.11.4.GIT