Linux/scripts/installmod.sh

   1 # $1 : useless for Linux (Release/Debug)
   2 # $2 : name of source ex : crea
   3 # $3 : generationdir ex : /tmp/myGenerationDir
   4
   5 cd $3/creatools_bin/$2Bin
   6 echo
   7 echo
   8 echo
   9 echo "------------------------------------------in installmod-- $2 ------------"
  10 echo $1
  11 echo $2
  12 echo $3
  13
  14 # We install, now
  15
  16 pwd
  17 make install
  18 cd ../..
  19 pwd
  20