#!/bin/bash

#obsolete
rm /boot/System.map  2>/dev/null
cd /usr/webint/htdocs/linux; php kernel.php check &>/dev/null