test_scripts/other/set_tapenade.sh

#! /bin/bash

# $Header:  $
# $Name:  $

#   PATH="/home/jmc/install/tapenade_3.16/bin:${PATH}";
   #PATH="${PATH}:/home/jmc/install/tapenade_3.16/bin";
    PATH="${PATH}:/home/jmc/install/tapenade_3.16.v2/bin";
    export PATH
1	#! /bin/bash
2
3	# $Header: $
4	# $Name: $
5
6	# PATH="/home/jmc/install/tapenade_3.16/bin:${PATH}";
7	#PATH="${PATH}:/home/jmc/install/tapenade_3.16/bin";
8	PATH="${PATH}:/home/jmc/install/tapenade_3.16.v2/bin";
9	export PATH