2005-11-12 16:27:19 -05:00
|
|
|
#!/bin/sh
|
|
|
|
|
pwd=$1
|
|
|
|
|
shift
|
|
|
|
|
mod=$1
|
|
|
|
|
shift
|
|
|
|
|
|
|
|
|
|
make=`which gmake`
|
|
|
|
|
|
|
|
|
|
if [ -z $make ] ; then
|
|
|
|
|
make=`which make`
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
if [ -f $mod/Makefile ] ; then
|
|
|
|
|
$make -C $mod
|
|
|
|
|
else
|
2005-12-13 16:20:47 -05:00
|
|
|
$make -f $pwd/generic_mod.mk -C $mod
|
2005-11-12 16:27:19 -05:00
|
|
|
fi
|
|
|
|
|
|
