Commit 43164397 authored by Raphaël Cauderlier's avatar Raphaël Cauderlier
Browse files

Use -r to check that patterns are in normal form

parent d45ba9fb
......@@ -5,7 +5,7 @@ DKOS = $(
.PHONY: clean depend
.SUFFIXES: .dk .dko
dkcheck -e -nc $<
dkcheck -e -nc -r $<
all: dk_records.dko dk_builtins.dko dk_monads.dko
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment