* pa.c (override_options): Make 7100 scheduling the default.
drwxr-xr-x - gcc