#!/bin/bash

# Change to the "tools" subdir before "build" subdir is made.
cd tools