makedist-openmamba-milestone3/settings.inc

26 lines
713 B
PHP
Raw Normal View History

2011-05-19 16:02:37 +02:00
RELEASE=devel
MAKEFILE_TARGET=${MAKEDIST_TARGET}
KERNEL_ADDITIONAL="sound-backport vboxvideo"
#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