Permalink
Browse files

ocp-build: remove useless directory boot

  • Loading branch information...
lefessan committed Aug 30, 2012
1 parent 8d1116a commit 794cbf863841cabe5d8223ee0cc657564ede2f35
Showing with 1 addition and 6 deletions.
  1. +1 −0 Makefile
  2. +0 −3 boot/ocp-build
  3. BIN boot/ocp-build.boot
  4. +0 −3 boot/ocp-get
  5. BIN boot/ocp-get.boot
View
@@ -35,6 +35,7 @@ clean:
rm -f opam
rm -f ocp-build.*
$(MAKE) -C $(SRC_EXT) clean
+ $(MAKE) -C ocp-build clean
distclean: clean
rm -f *.tar.gz *.tar.bz2
View
@@ -1,3 +0,0 @@
-#!/bin/bash
-set -e
-unixrun ocp-build.boot -init -scan $@
View
Binary file not shown.
View
@@ -1,3 +0,0 @@
-#!/bin/bash
-set -e
-unixrun ocp-get.boot $@
View
Binary file not shown.

0 comments on commit 794cbf8

Please sign in to comment.