MAKE= exec make -$(MAKEFLAGS)
# Specify the programs that are part of the system image.
-# Multiple boot medium drivers can be included in the image,
-# but only one is actually be loaded. The driver to load is
-# determined by the 'label=...' boot monitor parameter.
PROGRAMS= ../kernel/kernel \
../servers/pm/pm \
../servers/fs/fs \
if [ -d $PACKAGEDIR -a -d $PACKAGESOURCEDIR ]
then echo " * Indexing packages"
( cd $PACKAGEDIR
- for p in *.tar.bz
- do descr="../`echo $p | sed 's/.tar.bz//'`/.descr"
+ for p in *.tar.bz2
+ do descr="../`echo $p | sed 's/.tar.bz2//'`/.descr"
if [ -f "$descr" ]
then printf "%-32s %s\n" "$p" "`cat $descr`"
fi