Add a generic script to run the right Node binary

(imported from commit cf187323786cf1ee576ec70b6f7db4cbf61d6911)

tools/check-all

@@ -11,7 +11,7 @@ fi
 # Make the output of the tools red
 echo -en '\e[0;31m'
 
-if ! "$SCRIPT_DIR"/jslint/check-all; then
+if ! "$SCRIPT_DIR"/node "$SCRIPT_DIR"/jslint/check-all.js; then
     EXITCODE=1;
 fi
 

tools/jslint/check-all

@@ -1,11 +0,0 @@
-#!/bin/sh -e
-
-if which nodejs >/dev/null; then
-    # Name used by Debian etc.
-    NODE=nodejs
-else
-    # Name used by upstream
-    NODE=node
-fi
-
-$NODE "$0".js

tools/node

@@ -0,0 +1,11 @@
+#!/bin/bash -e
+
+# Wrapper for node which finds the right binary.
+
+if which nodejs >/dev/null; then
+    # Name used by Debian etc.
+    exec nodejs "$@"
+else
+    # Name used by upstream
+    exec node "$@"
+fi