Change-Id: Id35ac2821ad69825735c50a32bdd04d8453edb22
cd ${MINIX_ROOT}
+OPTFLAGS=`echo ${OPTFLAGS} | sed -e 's/\\$/$$/g'`
for m in ${MINIX_MODS}
do
echo "Instrumenting $m ..."
+
n=`get_module_name $m`
if [ "" == "$n" ]; then
echo "Error: Couldn't fetch the module name for $m"
continue
fi
clean_module $n $m
- OPTFLAGS=`echo ${OPTFLAGS} | sed -e "s/\ /\\\ /g"`
- OPTFLAGS_PLACEHOLDER="OPTFLAGS.$n=${OPTFLAGS}"
-
- (env "`echo ${OPTFLAGS_PLACEHOLDER}`" MKBITCODE=yes \
- ${TOOLDIR}/nbmake-${ARCH} -C $m all install && echo "INFO: $m successfully instrumented." ) || echo "ERROR: Failed instrumenting $m"
- echo
+
+ ( ${TOOLDIR}/nbmake-${ARCH} -C $m all install MKBITCODE=yes OPTFLAGS.$n="${OPTFLAGS}" \
+ && echo "INFO: $m successfully instrumented."
+ )
+ echo
done
cd ${MYPWD}