diff options
Diffstat (limited to 'scripts/showSamples.sh')
| -rwxr-xr-x | scripts/showSamples.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/showSamples.sh b/scripts/showSamples.sh index 777eb96b..774794b1 100755 --- a/scripts/showSamples.sh +++ b/scripts/showSamples.sh @@ -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 |