]> ocean-lang.org Git - ocean/commit
code / ocean / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2ebbb77) | patch
Makefile: if bootstrap was required, suggest "make" be run again
authorNeilBrown <neilb@suse.de>
Fri, 12 Jul 2013 21:25:00 +0000 (07:25 +1000)
committerNeilBrown <neilb@suse.de>
Fri, 12 Jul 2013 21:30:03 +0000 (07:30 +1000)
commitaf6ac4cc5dc5f2b26d2fc29c8c7d75b827104b43
tree8201e98463f71dc26df9ed120a8fb0ce40062e6btree | snapshot
parent2ebbb7735b6f995089f5ae3929841d75601a5da1commit | diff
Makefile: if bootstrap was required, suggest "make" be run again

Signed-off-by: NeilBrown <neilb@suse.de>
csrc/Makefile diff | blob | history
The Ocean Language Project