#2493 creaToolsTools Feature New - NormalPrepare and Install binary CreaTools versi...

[creaToolsTools.git] / Linux / scripts / CreaTools-install.sh

diff --git a/Linux/scripts/CreaTools-install.sh b/Linux/scripts/CreaTools-install.sh
index a9516cc281ace4605f01dc3d7a5c2a23e41cdabe..c75afa726d94204169b3977213b82c5d7ea7efed 100644 (file)
--- a/Linux/scripts/CreaTools-install.sh
+++ b/Linux/scripts/CreaTools-install.sh
@@ -55,6 +55,7 @@
   export baseLibraryCreatoolsDir=$installPrefix/share/creatools
   mkdir -p $baseLibraryCreatoolsDir
   cp CreaTools-bashrc.sh $baseLibraryCreatoolsDir/.
+  cp LocalFunctions.sh $baseLibraryCreatoolsDir/.
 
   #create creatools_base_library_config.sh  at the very begining, so we can write "export xxx_BIN=..." inside installmod.sh. JPRx 3 mars 2011
   echo '## This file is call from .bashrc' > $baseLibraryCreatoolsDir/creatools_base_library_config.sh