makedist-openmamba-milestone1/settings.inc
2011-05-19 16:08:22 +02:00

25 lines
668 B
PHP

RELEASE=devel
MAKEFILE_TARGET=${MAKEDIST_TARGET}
#COMPRESSEDFSSIZE=400000
#COMPRESSEDFSBLOCKSIZE=1k
#RPMEXTRAARGS="--excludedocs"
#DISKSLIST=""
[ $PLATFORM ] || {
echo "Error: undefined platform; please specify a valid platform using PLATFORM=<name>"
echo -n "Info: available platforms are: "
ls $TARGETDIR/platforms/
echo "Aborting."
exit 1
}
[ -e $TARGETDIR/platforms/$PLATFORM ] || {
echo "Error: missing platform $PLATFORM for target $MAKEDIST_TARGET; please specify a valid platform using PLATFORM=<name>. Aborting."
exit 1
}
[ -e $TARGETDIR/platforms/$PLATFORM/settings.inc ] && \
. $TARGETDIR/platforms/$PLATFORM/settings.inc