#!/bin/bash

time make all-release