diff -r fabae8fa6187 -r 82cd35b4597d scripts/showSamples.sh
--- a/scripts/showSamples.sh	Mon Nov 14 18:53:14 2011 +0100
+++ b/scripts/showSamples.sh	Mon Apr 09 11:00:35 2012 +0200
@@ -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