#!/bin/bash

time make testbed-debug