From 1f5220590decd64e0c6dd6f71bee67c5a1dacbbe Mon Sep 17 00:00:00 2001
From: Sergio Rubio <rubiojr@frameos.org>
Date: Sat, 14 Jun 2014 16:39:48 +0200
Subject: [PATCH] Fix Bashisms

The default /bin/sh in some places isn't bash (like Ubuntu, dash) and
the script is using Bashisms:

```
[1005][rubiojr@octox] checkbashisms -f script/test
possible bashism in script/test line 7 (alternative test command ([[ foo
]] should be [ foo ])):
if [[ "$#" != "0" ]]; then
```

So trying to run it results in:

```
./script/test: 7: ./script/test: [[: not found
^Cexit status 2
```
---
 script/test | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/script/test b/script/test
index 8d10c2ba..8b20a35d 100755
--- a/script/test
+++ b/script/test
@@ -4,7 +4,7 @@
 
 target="./..."
 
-if [[ "$#" != "0" ]]; then
+if [ "$#" != "0" ]; then
   target="./$@"
 fi