#!/bin/sh

myPath="$1/proto"
if [ -d "$myPath" ]; then
    cd $myPath || exit
    echo "make $1 ..."
    make
fi