1#!/bin/bash 2 3if [ "$#" -eq 0 ]; then 4 echo "Supply PREFIX for building pico_defines.h" 5 exit 1 6fi 7 8PREFIX=$1 9shift 10echo "/* PicoTCP - Definition file - DO NOT EDIT */" >$PREFIX/include/pico_defines.h 11echo "/* This file is automatically generated at compile time */" >>$PREFIX/include/pico_defines.h 12echo "#ifndef PICO_DEFINES_H" >>$PREFIX/include/pico_defines.h 13echo "#define PICO_DEFINES_H" >>$PREFIX/include/pico_defines.h 14echo >>$PREFIX/include/pico_defines.h 15 16for i in $@; do 17 if (echo $i | grep "^-D" |grep PICO_SUPPORT >/dev/null); then 18 my_def=`echo $i |sed -e "s/-D//g"` 19 echo "#define $my_def" >> $PREFIX/include/pico_defines.h 20 fi 21done 22echo "#endif" >>$PREFIX/include/pico_defines.h 23