Add option to global optimizer, to indicate that it is offered the

whole program

diff --git a/lib/descr/fe.src b/lib/descr/fe.src
index 6c7ccc3..6394e94 100644 (file)
--- a/lib/descr/fe.src
+++ b/lib/descr/fe.src
@@ -146,6 +146,7 @@ name ego
        mapflag -T* EGO_F={EGO_F?} -T*
        mapflag -S* EGO_F={EGO_F?} -S*
        mapflag -s* EGO_F={EGO_F?} -s*
+       mapflag -a* EGO_F={EGO_F?} -a*
        args {EM}/lib/em_ego {EGO_F?} -P {EM}/lib/ego \
 -M{EM}/lib/ego/{M}descr <
        optimizer