edwinb/Idris2-boot
1
1
Fork 0
mirror of https://github.com/edwinb/Idris2-boot.git synced 2024-11-09 21:53:56 +03:00
Code Issues Projects Releases Wiki Activity

Fix indentation

Browse Source
This commit is contained in:
Kamil Shakirov 2020-03-06 12:36:43 +06:00
parent 0e01c2aa0b
commit 2d1f35ab21
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
Makefile
View File

@ -13,13 +13,13 @@ MACHINE := $(shell $(CC) -dumpmachine)
ifneq (, $(findstring darwin, $(MACHINE)))
OS := darwin
else ifneq (, $(findstring cygwin, $(MACHINE)))
OS := windows
OS := windows
else ifneq (, $(findstring mingw, $(MACHINE)))
OS := windows
OS := windows
else ifneq (, $(findstring windows, $(MACHINE)))
OS := windows
OS := windows
else
OS := unix
OS := unix
endif
# current Idris2 version components