Fix the "have we got all the bootlibs" check
authorIan Lynagh <igloo@earth.li>
Sun, 24 Aug 2008 17:51:06 +0000 (17:51 +0000)
committerIan Lynagh <igloo@earth.li>
Sun, 24 Aug 2008 17:51:06 +0000 (17:51 +0000)
commit1d397231bcb9aa87e1781b728f2a848b4052481f
tree8de0369abcea2a5ed07823e1ac53f6c85d61e084
parent60b50498ce499e879cd7d72f5386c1c633c692ff
Fix the "have we got all the bootlibs" check
The packages file has an extra component (for "darcs" or "git") so we need
to take that into account when grepping.
Makefile
boot