diff -r 90595d1c1017 -r 31d397543600 scripts/showTuple.sh.in
--- a/scripts/showTuple.sh.in	Thu May 19 22:29:49 2011 +0200
+++ b/scripts/showTuple.sh.in	Wed Feb 01 00:19:04 2012 +0100
@@ -4,7 +4,7 @@
 #  - the .config file
 
 # Parse the tools' paths configuration
-. "${CT_LIB_DIR}/paths.mk"
+. "${CT_LIB_DIR}/paths.sh"
 
 # We'll need the stdout later, save it
 exec 7>&1