diff -r fabae8fa6187 -r 822af73497bf scripts/showSamples.sh
--- a/scripts/showSamples.sh	Mon Nov 14 18:53:14 2011 +0100
+++ b/scripts/showSamples.sh	Mon Jan 16 23:36:42 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