#!/bin/bash make -C driver/tests run