#!/bin/bash
# This file is used for both Linux and OSX builds.
# Currently an empty placeholder script that always succeeds.