1 files changed, 8 insertions, 0 deletions
diff --git a/extra/scripts/initfini.pl b/extra/scripts/initfini.pl
index 9a5c3ba09..ec6bdb36b 100755
--- a/extra/scripts/initfini.pl
+++ b/extra/scripts/initfini.pl
@@ -81,6 +81,14 @@ while(<INITFINI>) {
 	$omitcrti = 0;
 	next;
     }
+    if (/PROLOG_PAUSES/) {
+	$omitcrti = 1;
+	next;
+    }
+    if (/PROLOG_UNPAUSES/) {
+	$omitcrti = 0;
+	next;
+    }
     if (/PROLOG_ENDS/) {
 	$omitcrti = 1;
 	next;