diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-16 22:37:35 -0400 |
---|---|---|
committer | lianah <lianahady@gmail.com> | 2014-06-19 18:24:39 -0400 |
commit | 7d7012526f681e9f0a5db0760baa2e4e9de6602b (patch) | |
tree | cf13bae2cdcfec89d5e2d847446232ac49357730 /Makefile | |
parent | ecdad6e99adf11a612ea6ddb1761e6cbbe780638 (diff) |
fix typo
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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 |