scripts/saveSample.sh.in
changeset 2838 822af73497bf
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 Jan 16 23:36:42 2012 +0100
     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