From d03d8da2824c3fcacb4f00d6699dbbea869268dc Mon Sep 17 00:00:00 2001 From: ceriel Date: Fri, 25 Oct 1991 11:31:20 +0000 Subject: [PATCH] lib --> lib.bin in ego description --- lib/descr/fe | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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