diff -r fabae8fa6187 -r 3b8192272c2f scripts/showSamples.sh --- a/scripts/showSamples.sh Mon Nov 14 18:53:14 2011 +0100 +++ b/scripts/showSamples.sh Wed Feb 01 00:10:59 2012 +0100 @@ -5,7 +5,7 @@ # the versions of the main tools # Use tools discovered by ./configure -. "${CT_LIB_DIR}/paths.mk" +. "${CT_LIB_DIR}/paths.sh" [ "$1" = "-v" ] && opt="$1" && shift [ "$1" = "-w" ] && opt="$1" && shift