# HG changeset patch
# User Chris Cannam
# Date 1503582363 -3600
# Node ID 455ca6e45c49fe1d3993eabb2538d542cdfc1ece
# Parent  b22e234c3c7b4907d464c4a3d4170c924a9cc5ba
Directory fix

diff -r b22e234c3c7b -r 455ca6e45c49 deploy/any/run-provisioning.sh
--- a/deploy/any/run-provisioning.sh	Thu Aug 24 14:26:26 2017 +0100
+++ b/deploy/any/run-provisioning.sh	Thu Aug 24 14:46:03 2017 +0100
@@ -1,9 +1,14 @@
 #!/bin/bash
 
 mydir=$(dirname "$0")
+case "$mydir" in
+    /*) ;;
+    *) mydir=$(echo "$(pwd)/$mydir" | sed 's,/\./,/,g')
+esac
 
 if [ "$mydir" != "/code-to-deploy/deploy/any" ]; then
     echo "ERROR: Expected repository to be at /code-to-deploy prior to provisioning"
+    echo "       (My directory is $mydir, expected /code-to-deploy/deploy/any)"
     exit 2
 fi