make &&
if [ "$EXTENSIONS" == "y" ] ; then
  make extensions
fi
