HI ! while building rc21 ./configure ,,,, outputs
... optimized spatch: no (overridable with --disable-opt) ... which should probably be --enable-opt ? thx! hofrat _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
