diff options
Diffstat (limited to 'admin/build-configs')
| -rwxr-xr-x | admin/build-configs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/admin/build-configs b/admin/build-configs index 5827276bf5e..06ea9cb2875 100755 --- a/admin/build-configs +++ b/admin/build-configs @@ -80,14 +80,14 @@ foreach $config (@configs) unlink "config.cache"; $rc = system ("$root/configure $configure_options >>$log 2>&1"); - if ($rc != 0) + if ($rc != 0) { print "configure failed\n"; exit 1; } $rc = system ("make-emacs --all $make_options >>$log 2>&1"); - if ($rc != 0) + if ($rc != 0) { print "Make failed\n"; exit 1; |