From aa0b70d9217a5823bf3bab3a6bd434b31d175999 Mon Sep 17 00:00:00 2001
From: ceriel <none@none>
Date: Wed, 20 Nov 1991 15:52:27 +0000
Subject: [PATCH] Added MACHOPT_F

---
 lib/descr/fe | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lib/descr/fe b/lib/descr/fe
index 631b65a17..6a654ca90 100644
--- a/lib/descr/fe
+++ b/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
-- 
2.34.1