diff options
| author | Juanma Barranquero <lekktu@gmail.com> | 2003-02-04 14:56:31 +0000 |
|---|---|---|
| committer | Juanma Barranquero <lekktu@gmail.com> | 2003-02-04 14:56:31 +0000 |
| commit | 177c0ea74342272645959b82cf219faa0b3dba16 (patch) | |
| tree | 44e22b210a9904eab25a66d12e708804b671df75 /admin/build-configs | |
| parent | db95369be096960245dd38678f68464627698678 (diff) | |
| download | emacs-177c0ea74342272645959b82cf219faa0b3dba16.tar.gz | |
Trailing whitespace deleted.
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; |