removing references to mico

This commit is contained in:
andy
2008-06-04 14:52:25 +01:00
committed by Mark Olesen
parent 04d85fe399
commit f985933723
8 changed files with 1 additions and 11 deletions

View File

@ -72,9 +72,5 @@ fi
# rm -rf src/mpich-${MPICH_VERSION}/platforms/$1
#fi
#if [ src/mico-${MICO_VERSION}/platforms/$1 ]
#then
# rm -rf src/mico-${MICO_VERSION}/platforms/$1
#fi
#------------------------------------------------------------------------------