-%endif
-#### Planet-Lab ####
-
-#### Planet-Lab ####
-# make some useful links
-pushd /boot > /dev/null ; {
- ln -sf config-%{KVERREL}%{?1:.%{1}} config
- ln -sf config-%{KVERREL}%{?1:.%{1}} configsmp
- ln -sf initrd-%{KVERREL}%{?1:.%{1}}.img initrd-boot
- ln -sf initrd-%{KVERREL}%{?1:.%{1}}.img initrd-bootsmp
- ln -sf vmlinuz-%{KVERREL}%{?1:.%{1}} kernel-boot
- ln -sf vmlinuz-%{KVERREL}%{?1:.%{1}} kernel-bootsmp
-}
-popd > /dev/null
-
-# ask for a reboot
-mkdir -p /etc/planetlab
-touch /etc/planetlab/update-reboot
-#### Planet-Lab ####
+%endif\
+pushd /boot > /dev/null\
+ln -sf config-%{KVERREL}%{?1:.%{1}} config\
+ln -sf config-%{KVERREL}%{?1:.%{1}} configsmp\
+ln -sf initrd-%{KVERREL}%{?1:.%{1}}.img initrd-boot\
+ln -sf initrd-%{KVERREL}%{?1:.%{1}}.img initrd-bootsmp\
+ln -sf vmlinuz-%{KVERREL}%{?1:.%{1}} kernel-boot\
+ln -sf vmlinuz-%{KVERREL}%{?1:.%{1}} kernel-bootsmp\
+popd > /dev/null\
+mkdir -p /etc/planetlab\
+touch /etc/planetlab/update-reboot\