proper check of ISABELLE_TOOLS directories;
authorwenzelm
Mon Dec 01 17:48:12 2008 +0100 (2008-12-01)
changeset 28934801098c96f59
parent 28933 6c9d81544b26
child 28935 7c6b0850d240
proper check of ISABELLE_TOOLS directories;
bin/isabelle
     1.1 --- a/bin/isabelle	Mon Dec 01 17:32:40 2008 +0100
     1.2 +++ b/bin/isabelle	Mon Dec 01 17:48:12 2008 +0100
     1.3 @@ -1,6 +1,5 @@
     1.4  #!/usr/bin/env bash
     1.5  #
     1.6 -# $Id$
     1.7  # Author: Markus Wenzel, TU Muenchen
     1.8  #
     1.9  # Isabelle tool wrapper.
    1.10 @@ -34,14 +33,16 @@
    1.11      IFS=":"
    1.12      for DIR in $ISABELLE_TOOLS
    1.13      do
    1.14 -      cd "$DIR"
    1.15 -      for T in *
    1.16 -      do
    1.17 -        if [ -f "$T" -a -x "$T" ]; then
    1.18 -          DESCRLINE=$(fgrep DESCRIPTION: "$T" | sed -e 's/^.*DESCRIPTION: *//')
    1.19 -          echo "    $T - $DESCRLINE"
    1.20 -        fi
    1.21 -      done
    1.22 +      if [ -d "$DIR" ]; then
    1.23 +        cd "$DIR"
    1.24 +        for T in *
    1.25 +        do
    1.26 +          if [ -f "$T" -a -x "$T" ]; then
    1.27 +            DESCRLINE=$(fgrep DESCRIPTION: "$T" | sed -e 's/^.*DESCRIPTION: *//')
    1.28 +            echo "    $T - $DESCRLINE"
    1.29 +          fi
    1.30 +        done
    1.31 +      fi
    1.32      done
    1.33      IFS="$ORIG_IFS"
    1.34    )