#!/bin/bash set -e cat >config.ninja <