#!/bin/bash
+if [[ "${BASH_SOURCE[0]}" == "${0}" ]] ; then
+ echo "This script can not be executed standalone - it can only be source()d" 1>&2
+ exit 1
+fi
+
if [[ -n "$SHORT_CIRCUIT_SMOKE" ]] ; then return ; fi
# we need a mirror that both has the standard index and a backpan version rolled