Changeset 56
- Timestamp:
- Oct 16, 2007, 5:24:07 PM (17 years ago)
- Location:
- code
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
code/branches/tutorial/Tutorial/build/run-script
r54 r56 15 15 # and modify 16 16 if [[ ! -f plugins.cfg ]] ; then 17 is_tardis=`uname -n | grep tardis` 18 echo "isTardis: ${is_tardis}" 19 if [[ is_tardis ]] ; then 17 if uname -n | grep "tardis" > /dev/null ; then 20 18 sed -e 's:PluginFolder=/usr/lib/OGRE:PluginFolder=/usr/pack/ogre-1.4.5-sd/i686-debian-linux3.1/lib/OGRE/:' \ 21 19 -e 's:#Plugin=Plugin_CgProgramManager:Plugin=Plugin_CgProgramManager:' plugins.cfg-init > plugins.cfg 20 else 21 cp plugins.cfg-init plugins.cfg 22 22 fi 23 23 fi -
code/trunk/Tutorial/build/run-script
r47 r56 11 11 # and modify 12 12 if [[ ! -f plugins.cfg ]] ; then 13 is_tardis=`uname -n | grep tardis`14 echo "isTardis: ${is_tardis}"15 if [[ is_tardis ]]; then13 #is_tardis=`uname -n | grep tardis` 14 #echo "isTardis: ${is_tardis}" 15 if uname -n | grep "tardis" > /dev/null ; then 16 16 sed -e 's:PluginFolder=/usr/lib/OGRE:PluginFolder=/usr/pack/ogre-1.4.5-sd/i686-debian-linux3.1/lib/OGRE/:' plugins.cfg-init > plugins.cfg 17 else 18 cp plugins.cfg-init plugins.cfg 17 19 fi 18 20 fi
Note: See TracChangeset
for help on using the changeset viewer.