removing the lint off from makefile

10x-Engineers · Sep 8, 2023 · 983d6cb · 983d6cb
1 parent 1c847c3
commit 983d6cb
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -541,7 +541,6 @@ verilate_command := $(verilator) verilator_config.vlt
                     -Wno-ASSIGNDLY                                                                               \
                     -Wno-DECLFILENAME                                                                            \
                     -Wno-UNUSED                                                                                  \
-                    -Wno-UNOPTFLAT                                                                               \
                     -Wno-BLKANDNBLK                                                                              \
                     -Wno-style                                                                                   \
                     $(if ($(PRELOAD)!=""), -DPRELOAD=1,)                                                         \