2005-11-12 21:27:19 +00:00
|
|
|
#!/bin/sh
|
|
|
|
|
pwd=$1
|
|
|
|
|
shift
|
|
|
|
|
mod=$1
|
|
|
|
|
shift
|
|
|
|
|
|
|
|
|
|
make=`which gmake`
|
|
|
|
|
|
|
|
|
|
if [ -z $make ] ; then
|
2006-01-03 21:58:16 +00:00
|
|
|
make=`which make`
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
end=`echo $mod | sed "s/^.*\///g"`
|
|
|
|
|
if [ -z $end ] ; then
|
|
|
|
|
end=$mod
|
2005-11-12 21:27:19 +00:00
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
if [ -f $mod/Makefile ] ; then
|
2006-01-03 21:58:16 +00:00
|
|
|
MODNAME=$end $make -C $mod $@
|
2005-11-12 21:27:19 +00:00
|
|
|
else
|
2006-01-03 22:36:56 +00:00
|
|
|
MODNAME=$end $make -f $pwd/generic_mod.mk -C $mod $@
|
2005-11-12 21:27:19 +00:00
|
|
|
fi
|
|
|
|
|
|
