micro: Remove unneeded copy in Makefile

The bible.txt file doesn't have to be copied to $(BIN_DIR) because the
program is executed from the same directory where bible.txt is.

diff --git a/micro/Makefile b/micro/Makefile
index 875104b08553a662c236f865e16e71517d1de8ba..ce310b081fc9ab63c64a680c02f2b2482db7a63c 100644 (file)
--- a/micro/Makefile
+++ b/micro/Makefile
@@ -27,7 +27,6 @@ ifndef V
 P      = @
 P_DC   = @echo '  DC   $@';
 P_LD   = @echo '  LD   $@';
-P_CP   = @echo '  CP   $@';
 P_PLOT = @echo '  PLOT $@';
 P_MAKE = @echo '  MAKE $@';
 P_RUN  = @echo '  RUN  $<';
@@ -69,10 +68,6 @@ $(STAT_DIR)/%.c.csv $(STAT_DIR)/%.a.csv: $(BIN_DIR)/%
        $P mv gc-collections.csv $(STAT_DIR)/$*.c.csv
        $P mv gc-mallocs.csv $(STAT_DIR)/$*.a.csv
 
-$(STAT_DIR)/split.c.csv $(STAT_DIR)/split.a.csv: $(BIN_DIR)/bible.txt
-
-$(BIN_DIR)/bible.txt: bible.txt
-       $(P_CP) cp -l $< $@
 
 .PRECIOUS: $(STAT_DIR)/%.h.csv
 $(STAT_DIR)/%.h.csv: $(STAT_DIR)/%.a.csv