From 8c32aa8a6d9045ce5123659ee6d52b65bc791510 Mon Sep 17 00:00:00 2001 From: Timothy Clem Date: Fri, 18 May 2018 15:57:21 -0700 Subject: [PATCH] No more script/run --- script/generate-example | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/script/generate-example b/script/generate-example index a07fc6382..7b7d12b9c 100755 --- a/script/generate-example +++ b/script/generate-example @@ -37,20 +37,20 @@ generate_example () { if [ -e "$fileA" ]; then status $parseFileA - "$(dirname "$0")/run" semantic parse --sexpression $fileA > $parseFileA + stack exec semantic -- parse --sexpression $fileA > $parseFileA fi if [ -e "$fileB" ]; then status $parseFileB - "$(dirname "$0")/run" semantic parse --sexpression $fileB > $parseFileB + stack exec semantic -- parse --sexpression $fileB > $parseFileB fi if [ -e "$fileA" -a -e "$fileB" ]; then status $diffFileAB - "$(dirname "$0")/run" semantic diff --sexpression $fileA $fileB > $diffFileAB + stack exec semantic -- diff --sexpression $fileA $fileB > $diffFileAB status $diffFileBA - "$(dirname "$0")/run" semantic diff --sexpression $fileB $fileA > $diffFileBA + stack exec semantic -- diff --sexpression $fileB $fileA > $diffFileBA fi }