From 773407aaf0de0cb3c256fdd96b2d5d1408610c1a Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Mon, 16 Jun 2014 22:37:35 -0400 Subject: [PATCH] fix typo --- Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 473bd84c3..f0541bfae 100644 --- a/Makefile +++ b/Makefile @@ -111,7 +111,7 @@ submission-application: # application track is a separate build because it has different preprocessor #defines @if [ -d builds-smtcomp/application ]; then \ echo 'ERROR:' >&2; \ - echo 'ERROR: Please remove the builds-smtcomp/main directory' >&2; \ + echo 'ERROR: Please remove the builds-smtcomp/application directory' >&2; \ echo 'ERROR:' >&2; \ exit 1; \ fi @@ -145,7 +145,7 @@ submission-parallel: # parallel track can't be built with -cln, so it's a separate build @if [ -d builds-smtcomp/parallel ]; then \ echo 'ERROR:' >&2; \ - echo 'ERROR: Please remove the builds-smtcomp/main directory' >&2; \ + echo 'ERROR: Please remove the builds-smtcomp/parallel directory' >&2; \ echo 'ERROR:' >&2; \ exit 1; \ fi -- 2.30.2