Skip to content

Commit 89000fc

Browse files
committed
Add an exclusion
1 parent 274fe1d commit 89000fc

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

Makefile

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -10,6 +10,7 @@ clean:
1010

1111

1212
# Code style; defines `style-check` and `style-fix`.
13+
CODE_STYLE_EXCLUSIONS_USER := --exclude-dir subject-programs
1314
ifeq (,$(wildcard .plume-scripts))
1415
dummy := $(shell git clone -q https://github.com/plume-lib/plume-scripts.git .plume-scripts)
1516
endif

0 commit comments

Comments
 (0)