fpga_optimize cannot be set to 0 in swerv_config

[jlucnagel]

Hi,
fpga_optimize defaults to 1 and it cannot be set to 0 on the command line (cannot receive a parameter and if not defined will be set to default value 1 !).
If this value shall never be set to 0, it should be removed from script. Otherwise the script should allow to pass 0 as a parameter (fairly minor fix).
Thanks,
Jean-Luc

diff --git a/configs/swerv.config b/configs/swerv.config
index 798eb14..27c998c 100755
--- a/configs/swerv.config
+++ b/configs/swerv.config
@@ -207,7 +207,7 @@
"pic_total_int=s" => $pic_total_int,
"icache_size=s" => $icache_size,
"ahb_lite" => $ahb_lite,

• "fpga_optimize" => $fpga_optimize,

• "fpga_optimize=s" => $fpga_optimize,
  "set=s@" => @Sets,
  "unset=s@" => @unsets,
  ) || die("$helpusage");

[aprnath]

It can be set to 0 via
-set=fpga_optimize=0