diff --git a/lib/descr/fe.src b/lib/descr/fe.src index 6c7ccc33b..6394e947c 100644 --- 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