From 18c3a0b907471a87f5de0a00dc7a90ad93dcb270 Mon Sep 17 00:00:00 2001 From: Akash Levy Date: Fri, 27 Feb 2026 14:53:44 -0800 Subject: [PATCH] Remove old linefile loops stuff --- Makefile | 1 - 1 file changed, 1 deletion(-) diff --git a/Makefile b/Makefile index 81e39cd43..ec93a0bb6 100644 --- a/Makefile +++ b/Makefile @@ -29,7 +29,6 @@ ENABLE_LIBYOSYS_STATIC := 0 ENABLE_ZLIB := 1 ENABLE_HELP_SOURCE := 0 ENABLE_BACKTRACE := 1 -VERIFIC_LINEFILE_INCLUDES_LOOPS := 1 # python wrappers ENABLE_PYOSYS := 1