Browse Source

Added MACHOPT_F

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

+ 2 - 2
lib/descr/fe

@@ -190,7 +190,7 @@ name opt
 	to .m
 	program {EM}/lib.bin/em_opt
 	mapflag -LIB OPT_F={OPT_F?} -L
-	args {OPT_F?} <
+	args {OPT_F?} {MACHOPT_F?} <
 	stdout
 	optimizer
 end
@@ -232,7 +232,7 @@ name opt2
 	to .g
 	program {EM}/lib.bin/em_opt2
 #	mapflag -LIB OPT_F={OPT_F?} -L
-	args {OPT_F?} <
+	args {OPT_F?} {MACHOPT_F?} <
 	optimizer
 	stdout
 end