changeset 2922 | c7fa97debb36 |
parent 2576 | af55c37bbd84 |
child 2937 | e94b6f607b05 |
1.1 --- a/scripts/saveSample.sh.in Sun Jul 31 00:04:02 2011 +0200 1.2 +++ b/scripts/saveSample.sh.in Mon Apr 02 19:50:22 2012 +0200 1.3 @@ -9,7 +9,7 @@ 1.4 # - info about who reported the sample 1.5 1.6 # Parse the tools' paths configuration 1.7 -. "${CT_LIB_DIR}/paths.mk" 1.8 +. "${CT_LIB_DIR}/paths.sh" 1.9 1.10 # We'll need the stdout later, save it 1.11 exec 7>&1