blob: ed153f24269389f7170bf38124be2bbfe8a438cd (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
#!/bin/bash
function main ()
{
$TOOLDIR/kernel.sh;
if [ $? -eq 0 ]; then
rm -r linux-$VERSION* && echo "removed kernel";
return 0;
else
return 1;
fi
}
main "$@"
|