diff -r 90595d1c1017 -r 13e40098fffc scripts/showTuple.sh.in
--- a/scripts/showTuple.sh.in	Thu May 19 22:29:49 2011 +0200
+++ b/scripts/showTuple.sh.in	Mon Apr 16 15:25:36 2012 +0200
@@ -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