SHELL = /bin/sh

all:
	if [ ! -d $$BIOSYM_PLATFORM ] ; then \
          mkdir $$BIOSYM_PLATFORM ; \
        fi
	if [ -r Makefile.$$BIOSYM_PLATFORM ] ; then \
          cp Makefile.$$BIOSYM_PLATFORM $$BIOSYM_PLATFORM/Makefile ; \
        else \
          cp Makefile.generic $$BIOSYM_PLATFORM/Makefile ; \
        fi
	chmod 644 $$BIOSYM_PLATFORM/Makefile
	( cd $$BIOSYM_PLATFORM ; make )
