summaryrefslogtreecommitdiff
path: root/extra/scripts
diff options
context:
space:
mode:
Diffstat (limited to 'extra/scripts')
-rwxr-xr-xextra/scripts/initfini.pl8
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;