diff -r af55c37bbd84 -r 822af73497bf scripts/saveSample.sh.in --- a/scripts/saveSample.sh.in Sun Jul 31 00:04:02 2011 +0200 +++ b/scripts/saveSample.sh.in Mon Jan 16 23:36:42 2012 +0100 @@ -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