script/install.sh
changeset 317 e5ceb7cd20b5
parent 316 23f501274ddf
child 346 8f35508d90ad
equal deleted inserted replaced
316:23f501274ddf 317:e5ceb7cd20b5
    88 # Install tools
    88 # Install tools
    89 
    89 
    90 echo "  Installing tools"
    90 echo "  Installing tools"
    91 cp script/lsec.pl /usr/local/bin/lsec || exit 1
    91 cp script/lsec.pl /usr/local/bin/lsec || exit 1
    92 chmod +x /usr/local/bin/ec_list || exit 1
    92 chmod +x /usr/local/bin/ec_list || exit 1
       
    93 rm -f /usr/local/bin/ec_list || exit 1
    93 ln -s /usr/local/bin/lsec /usr/local/bin/ec_list || exit 1
    94 ln -s /usr/local/bin/lsec /usr/local/bin/ec_list || exit 1
    94 
    95 
    95 #------------------------------------------------------------------------------
    96 #------------------------------------------------------------------------------
    96 
    97 
    97 # Finish
    98 # Finish