80 |
unlink "config.cache"; |
unlink "config.cache"; |
81 |
|
|
82 |
$rc = system ("$root/configure $configure_options >>$log 2>&1"); |
$rc = system ("$root/configure $configure_options >>$log 2>&1"); |
83 |
if ($rc != 0) |
if ($rc != 0) |
84 |
{ |
{ |
85 |
print "configure failed\n"; |
print "configure failed\n"; |
86 |
exit 1; |
exit 1; |
87 |
} |
} |
88 |
|
|
89 |
$rc = system ("make-emacs --all $make_options >>$log 2>&1"); |
$rc = system ("make-emacs --all $make_options >>$log 2>&1"); |
90 |
if ($rc != 0) |
if ($rc != 0) |
91 |
{ |
{ |
92 |
print "Make failed\n"; |
print "Make failed\n"; |
93 |
exit 1; |
exit 1; |