#!/bin/bash

./run.sh -Doptimize=ReleaseFast "$@"