Ticket #1782: patch

File patch, 671 bytes (added by guest, 8 years ago)
Line 
1@@ -69,14 +69,15 @@
2 # Sanity check that all the core libraries are in the tree, to catch
3 # failure to run darcs-all.
4 check-packages :
5-       @for d in `cat libraries/core-packages`; do \
6+       @ds=`cat libraries/core-packages`;\
7+       for d in $$ds; do \
8          if test ! -d libraries/$$d; then \
9             echo "Looks like you're missing libraries/$$d,"; \
10             echo "maybe you haven't done './darcs-all get'?"; \
11             exit 1; \
12          fi \
13        done
14-       @if test ! -e libraries/base/configure; then \
15+       @if test ! -f libraries/base/configure; then \
16            echo "Looks like you're missing base's configure script."; \
17            echo "Did you run 'sh boot' at the top level?"; \
18            exit 1; \