changeset 2936 | 2dfea349d307 |
parent 2762 | fabae8fa6187 |
child 2982 | 1e35d2fa54d7 |
1.1 --- a/scripts/showSamples.sh Mon Nov 14 18:53:14 2011 +0100 1.2 +++ b/scripts/showSamples.sh Tue Jan 03 22:57:25 2012 +0100 1.3 @@ -5,7 +5,7 @@ 1.4 # the versions of the main tools 1.5 1.6 # Use tools discovered by ./configure 1.7 -. "${CT_LIB_DIR}/paths.mk" 1.8 +. "${CT_LIB_DIR}/paths.sh" 1.9 1.10 [ "$1" = "-v" ] && opt="$1" && shift 1.11 [ "$1" = "-w" ] && opt="$1" && shift