SHELL := /bin/bash

build-docker:
	pushd ../; docker build -t edit-eval . -f benchmark/Dockerfile; popd
