#!/bin/bash

echo "Dummy updater -- run with opts: $*"
exit 0