From 3dd878594f48b10df900a0ac00df10f4c995bcf4 Mon Sep 17 00:00:00 2001 From: ceriel Date: Thu, 16 Jun 1988 09:59:25 +0000 Subject: [PATCH] Add option to global optimizer, to indicate that it is offered the whole program --- lib/descr/fe.src | 1 + 1 file changed, 1 insertion(+) 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 -- 2.34.1