Linux /bin/sh (GNU) is not the same as OS X /bin/sh (BSD), so use /bin/bash.
Fixes:
scripts/pylint/do_pylint.sh: 27: Syntax error: "(" unexpected
on Ubuntu (and possibly other Linux distros).
Patch by: Todd Larsen
Review by: to-be-reviewed
--- a/scripts/pylint/do_pylint.sh Tue Jan 20 22:01:02 2009 +0000
+++ b/scripts/pylint/do_pylint.sh Tue Jan 20 22:21:32 2009 +0000
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
# Copyright 2008 the Melange authors.
#
# Licensed under the Apache License, Version 2.0 (the "License");
@@ -58,4 +58,4 @@
CHECK_MODULES_PATHS="${CHECK_MODULES_PATHS} ${APP_DIR}/${x}"
done
-pylint $SILENT_ARGS $ARGS $CHECK_MODULES_PATHS
\ No newline at end of file
+pylint $SILENT_ARGS $ARGS $CHECK_MODULES_PATHS