From a50d0c478e45580e4933a885ae75309e66a0ef50 Mon Sep 17 00:00:00 2001 From: Deyaaeldeen Almahallawi Date: Tue, 23 Apr 2019 20:59:14 -0400 Subject: [PATCH] update the image name --- Makefile | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 3656d25..dc4f7cc 100644 --- a/Makefile +++ b/Makefile @@ -1,5 +1,4 @@ -# IMAGE_NAME=dalmahal90/grift-benchmarks:pldi -IMAGE_NAME=benchmarks +IMAGE_NAME=dalmahal90/grift-benchmarks:pldi19 CONTAINER_NAME=benchmarks_container HOST_EXPERIMENT_DIR=/home/$(USER)/experiments CONTAINER_EXPERIMENT_DIR=/app/experiments