anoma/juvix
1
1
Fork 0
mirror of https://github.com/anoma/juvix.git synced 2024-11-23 08:18:43 +03:00
Code Issues Projects Releases Wiki Activity

[ Makefile ] fixies for make prepare-push target

Browse Source
This commit is contained in:
Jonathan Prieto-Cubides 2021-12-30 09:56:58 -05:00
parent b450db43f2
commit 722491048f
2 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
.hlint.yaml
View File

@ -56,4 +56,5 @@
- ignore: {within: [MiniJuvix.Pretty]}
- ignore: {name: Use let, within: [Test.All]}
- ignore: {name: Use String}
- ignore: {name: Avoid restricted flags}
- ignore: {name: Avoid restricted flags}
- ignore: {name: Avoid restricted extensions, within: [MiniJuvix.Parsing.Language]}

2
Makefile
View File

@ -23,7 +23,7 @@ checklines :
-l --recursive src; \
status=$$?; \
if [ $$status = 0 ] ; \
then echo "Lines were found with more than 80 characters!"; \
then echo "Lines were found with more than 80 characters!" >&2 ; \
else echo "Succeed!"; \
fi