#!/bin/bash

time make clean