From 621b8fff5dcd8ad481fd151c8e0fea6e7438d070 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Tue, 16 Apr 2024 11:41:21 +0200
Subject: Run sanity checks in CI only

---
 Makefile | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 0f3e2999..0299d134 100644
--- a/Makefile
+++ b/Makefile
@@ -31,9 +31,8 @@ AENEAS_EXE ?= bin/aeneas
 
 # The user can specify additional translation options for Aeneas.
 # By default we activate the (expensive) sanity checks.
-OPTIONS ?= -checks
+OPTIONS ?=
 
-#
 # The rules use (and update) the following variables
 #
 # The Charon test directory where to look for the .llbc files
-- 
cgit v1.2.3