less verbosity;
authorwenzelm
Thu Jul 17 15:33:01 2008 +0200 (2008-07-17)
changeset 27629ec92e8eb6a1e
parent 27628 901656b3205d
child 27630 5580fcca2b5d
less verbosity;
Admin/build
     1.1 --- a/Admin/build	Thu Jul 17 15:26:04 2008 +0200
     1.2 +++ b/Admin/build	Thu Jul 17 15:33:01 2008 +0200
     1.3 @@ -2,7 +2,7 @@
     1.4  #
     1.5  # $Id$
     1.6  #
     1.7 -# Administrative build -- finish Isabelle source distribution.
     1.8 +# Administrative build for Isabelle source distribution.
     1.9  
    1.10  ## global environment
    1.11  
    1.12 @@ -98,10 +98,10 @@
    1.13  
    1.14    for DOC in $(cat Dirs)
    1.15    do
    1.16 -    pushd "$DOC" > /dev/null
    1.17 +    pushd "$DOC" >/dev/null
    1.18      make clean dvi || fail "DVI document for $DOC failed!"
    1.19      make clean pdf || fail "PDF document for $DOC failed!"
    1.20 -    popd
    1.21 +    popd >/dev/null
    1.22    done
    1.23  }
    1.24  
    1.25 @@ -118,16 +118,16 @@
    1.26      cd "$ISABELLE_DIR"
    1.27    fi
    1.28  
    1.29 -  pushd lib/classes
    1.30 +  pushd lib/classes >/dev/null
    1.31    ./mk
    1.32    [ -f isabelle.jar ] || fail "Failed to build Isabelle process wrapper!"
    1.33 -  popd
    1.34 +  popd >/dev/null
    1.35  
    1.36 -  type -p scalac || fail "Scala compiler unavailable"
    1.37 -  pushd lib/jedit/plugin
    1.38 +  type -p scalac >/dev/null || fail "Scala compiler unavailable"
    1.39 +  pushd lib/jedit/plugin >/dev/null
    1.40    ./mk
    1.41    [ -f ../isabelle.jar ] || fail "Failed to build jEdit plugin!"
    1.42 -  popd
    1.43 +  popd >/dev/null
    1.44  }
    1.45  
    1.46