[Emacs-diffs] Changes to emacs/admin/build-configs

[Juanma Barranquero]

Index: emacs/admin/build-configs
diff -c emacs/admin/build-configs:1.2 emacs/admin/build-configs:1.3
*** emacs/admin/build-configs:1.2       Fri Oct 19 07:31:22 2001
--- emacs/admin/build-configs   Tue Feb  4 09:23:37 2003
***************
*** 80,93 ****
      unlink "config.cache";
  
      $rc = system ("$root/configure $configure_options >>$log 2>&1");
!     if ($rc != 0) 
        {
        print "configure failed\n";
        exit 1;
        }
  
      $rc = system ("make-emacs --all $make_options >>$log 2>&1");
!     if ($rc != 0) 
        {
        print "Make failed\n";
        exit 1;
--- 80,93 ----
      unlink "config.cache";
  
      $rc = system ("$root/configure $configure_options >>$log 2>&1");
!     if ($rc != 0)
        {
        print "configure failed\n";
        exit 1;
        }
  
      $rc = system ("make-emacs --all $make_options >>$log 2>&1");
!     if ($rc != 0)
        {
        print "Make failed\n";
        exit 1;