#!/bin/sh
# This script does nothing, intentionally.