Mentions légales du service

Skip to content
Snippets Groups Projects
Commit 4d3dfd44 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Fix [make headache].

parent 1443efff
No related branches found
No related tags found
No related merge requests found
...@@ -172,7 +172,7 @@ HEADER := $(shell pwd)/header.txt ...@@ -172,7 +172,7 @@ HEADER := $(shell pwd)/header.txt
.PHONY: headache .PHONY: headache
headache: headache:
for d in . ; do \ for d in benchmark fuzz src test ; do \
$(FIND) $$d -regex ".*\.ml\(i\|y\|l\)?" \ $(FIND) $$d -regex ".*\.ml\(i\|y\|l\)?" \
-exec $(HEADACHE) -h $(HEADER) "{}" ";" ; \ -exec $(HEADACHE) -h $(HEADER) "{}" ";" ; \
done done
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment