Tweaks needed to shell script wrapper on Ubuntu 16.04

[nickcrabtree]

Didn't work out-of-the-box on Ubuntu 16.04: [[ test not supported in vanilla /bin/sh, and the .so is not executable so the file test failed.

Fixed by making these edits:

--- soft/ksm_preload/ksm-wrapper        2016-12-21 12:42:43.590732436 +0000
+++ /usr/local/bin/ksm-wrapper  2016-12-21 12:59:28.366223605 +0000
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 # Runs the provided executable with ksm-preload.so , which enables KSM
 # on heap-allocated memory.
 
@@ -22,12 +22,13 @@
 readonly KSM_SO_GIT="${KSM_PATH}/libksm_preload.so"
 readonly KSM_SO_CMAKE="${KSM_PATH}/../share/ksm_preload/libksm_preload.so"
 
-if  [[ -x "${KSM_SO_GIT}" ]]; then
+if  [[ -s "${KSM_SO_GIT}" ]]; then
     readonly KSM_SO="${KSM_SO_GIT}"
-elif [[ -x "${KSM_SO_CMAKE}" ]]; then
+elif [[ -s "${KSM_SO_CMAKE}" ]]; then
     readonly KSM_SO="${KSM_SO_CMAKE}"
 else
-    echo $KSM_SO_CMAKE
+    echo "KSM_SO_CMAKE is " $KSM_SO_CMAKE
+    echo "KSM_SO is " $KSM_SO
     echo "Could not find libksm_preload.so. Have you compiled it with 'make' ?"
     exit 1
 fi

[KenSharp]

Just change [[ and ]] to [ and ], respectively. The double brackets are superfluous. Running bash each time is madness.