From 8086a91881db5d3459c5bc03ec537a839a665af7 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Fri, 29 Jul 2022 21:38:26 -0700
Subject: [PATCH] Small Makefile adjustments.

---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 707a17c5..d276c79d 100644
--- a/Makefile
+++ b/Makefile
@@ -5,13 +5,13 @@ all: $(ALL)
 
 quick: skylighting/src/Skylighting/Syntax.hs
 	cabal test -fexecutable --test-options='--hide-successes $(TESTARGS)' all
-	cabal install -fexecutable all
+	cabal install -fexecutable exe:skylighting
 
 test:
 	cabal test --test-options '--hide-successes $(TESTARGS)'
 
 bench:
-	cabal bench -fexecutable
+	cabal bench skylighting-core
 
 format: skylighting-format skylighting-core-format