111 |
|
|
112 |
system ("$make clean versionclean") if $all; |
system ("$make clean versionclean") if $all; |
113 |
|
|
114 |
if ($wall) |
if ($wall) |
115 |
{ |
{ |
116 |
$warn = "-Wall"; |
$warn = "-Wall"; |
117 |
} |
} |
125 |
$defs = "$defs -DGC_CHECK_MARKED_OBJECTS=1" if $check_marked; |
$defs = "$defs -DGC_CHECK_MARKED_OBJECTS=1" if $check_marked; |
126 |
$defs = "$defs -DENABLE_CHECKING=1" if $enable_checking; |
$defs = "$defs -DENABLE_CHECKING=1" if $enable_checking; |
127 |
|
|
128 |
if ($profile) |
if ($profile) |
129 |
{ |
{ |
130 |
$opts = "-pg"; |
$opts = "-pg"; |
131 |
$defs = "$defs -DPROFILING=1"; |
$defs = "$defs -DPROFILING=1"; |
132 |
} |
} |
133 |
else |
else |
134 |
{ |
{ |
135 |
if ($use_stabs) |
if ($use_stabs) |
136 |
{ |
{ |
137 |
$opts = "-gstabs"; |
$opts = "-gstabs"; |
138 |
} |
} |