diff -r 4d2ae322ef02 tools/check/check_python_devel --- a/tools/check/check_python_devel Thu Dec 14 17:25:38 2006 +0000 +++ b/tools/check/check_python_devel Fri Dec 15 09:52:09 2006 +0100 @@ -1,11 +1,5 @@ #!/bin/sh # CHECK-BUILD - -function error { - echo - echo " *** Check for python development environment FAILED" - exit 1 -} RC=0