From d5663c1aadf235ef60c94d3671a83ba26d84234e Mon Sep 17 00:00:00 2001 From: crumbtoo Date: Wed, 17 Jan 2024 10:11:48 -0700 Subject: [PATCH] remove debug flags --- Makefile_happysrcs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile_happysrcs b/Makefile_happysrcs index a535179..e0dc43e 100644 --- a/Makefile_happysrcs +++ b/Makefile_happysrcs @@ -1,5 +1,5 @@ HAPPY = happy -HAPPY_OPTS = -a -g -c -d -i/tmp/happy-info +HAPPY_OPTS = -a -g -c ALEX = alex ALEX_OPTS = -g