Browse Source

lib --> lib.bin in ego description

ceriel 33 years ago
parent
commit
9f2477371a
1 changed files with 1 additions and 1 deletions
  1. 1 1
      lib/descr/fe

+ 1 - 1
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