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