Admin/build
changeset 34283 7911e83d06c0
parent 34282 549969a7f582
child 34284 33ad3571ad83
     1.1 --- a/Admin/build	Wed Jan 06 20:00:22 2010 +0100
     1.2 +++ b/Admin/build	Wed Jan 06 22:18:52 2010 +0100
     1.3 @@ -58,12 +58,9 @@
     1.4  
     1.5  function build_browser ()
     1.6  {
     1.7 -  echo "###"
     1.8 -  echo "### Building graph browser ..."
     1.9 -  echo "###"
    1.10 -
    1.11 -  cd "$ISABELLE_HOME/lib/browser"
    1.12 -  make clean all || fail "Failed to build graph browser!"
    1.13 +  pushd "$ISABELLE_HOME/lib/browser" >/dev/null
    1.14 +  "$ISABELLE_TOOL" env ./build || fail "Failed!"
    1.15 +  popd >/dev/null
    1.16  }
    1.17  
    1.18