- add $CONFIGURE_ARGS to the configure line so that you can request other   args to go there (used in RPM building)
- add $CONFIGURE_ARGS to the configure line so that you can request other
  args to go there (used in RPM building)

marmolejo/bochs-zet,marmolejo/bochs-zet,marmolejo/bochs-zet,marmolejo/bochs-zet,marmolejo/bochs-zet