#!/bin/bash

### This is a stub script, it currently does nothing but
### could be used to debug.

#set -x