diff -r af55c37bbd84 -r 8a72662f0815 scripts/saveSample.sh.in --- a/scripts/saveSample.sh.in Sun Jul 31 00:04:02 2011 +0200 +++ b/scripts/saveSample.sh.in Mon Jul 25 19:04:17 2011 +0200 @@ -9,7 +9,7 @@ # - info about who reported the sample # 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