scripts/showSamples.sh
changeset 2838 822af73497bf
parent 2762 fabae8fa6187
child 2982 1e35d2fa54d7
     1.1 --- a/scripts/showSamples.sh	Mon Nov 14 18:53:14 2011 +0100
     1.2 +++ b/scripts/showSamples.sh	Mon Jan 16 23:36:42 2012 +0100
     1.3 @@ -5,7 +5,7 @@
     1.4  # the versions of the main tools
     1.5  
     1.6  # Use tools discovered by ./configure
     1.7 -. "${CT_LIB_DIR}/paths.mk"
     1.8 +. "${CT_LIB_DIR}/paths.sh"
     1.9  
    1.10  [ "$1" = "-v" ] && opt="$1" && shift
    1.11  [ "$1" = "-w" ] && opt="$1" && shift