- RPM_OPT_FLAGS are used for compiling
[ginac.git] / check / run_checks
1999-11-09 Christian Bauer- switched to automake build environment