diff --git a/lib/descr/fe b/lib/descr/fe index d85c0ff08..631b65a17 100644 --- a/lib/descr/fe +++ b/lib/descr/fe @@ -220,7 +220,7 @@ name ego mapflag -O* EGO_F={EGO_F?} -O* args \ {EGO_F?} -P {EM}/lib.bin/ego \ - -M{EM}/lib/ego/{M}descr < + -M{EM}/lib.bin/ego/{M}descr < optimizer 2 stdout combiner