3 # This script copies BINARIES content into INSTALL, and substitute paths to enable extra compilation.
4 # If INSTALL already exists : does nothing!
7 echo Warning: INSTALL already exists! Please rename or delete it before executing this script
10 if [ ! -d ¤{BINARIES_DIR} ]
12 echo Error: ¤{BINARIES_DIR} directory not found!
16 echo copies BINARIES-FD24 into INSTALL
17 cp -RP ¤{BINARIES_DIR}/* INSTALL
18 echo does the substitutions
19 # do the required substitutions