#!/bin/bash

make compile_XFAIL