make_single &&
make OPT_CFLAGS="$CFLAGS" $OPTS &&
make_normal
