git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
master
help
sign in
Tweak Makefile (install checks too)
4cec951
Edwin Brady
14 years ago
lib/Makefile
+1
−1
compare with master
unified
split
@@ -4,7 +4,7 @@ check: .PHONY
4
4
5
recheck:
clean check
5
recheck:
clean check
6
6
7
−
install:
check
7
+
install:
8
$(
IDRIS
)
--install base.ipkg
8
$(
IDRIS
)
--install base.ipkg
9
9
10
clean:
.PHONY
10
clean:
.PHONY
keys
esc to close
j k
move down, up
enter
open
esc
back, or up a level
1 2 3 4
readme, files, commits, refs
/
filter
y
copy the clone command
c
compare the chosen commit with another (or shift-click both)
?
show or hide this list