Skip to content

Commit

Permalink
Makefile.config shouldn't be committed
Browse files Browse the repository at this point in the history
  • Loading branch information
dra27 committed May 11, 2018
1 parent 7893301 commit 29955d7
Show file tree
Hide file tree
Showing 3 changed files with 4 additions and 6 deletions.
2 changes: 2 additions & 0 deletions .gitignore
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
Makefile.config

testdbm.byte
testdbm.opt

Expand Down
4 changes: 2 additions & 2 deletions Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@
# #
#########################################################################

include Makefile.config
-include Makefile.config

OCAMLC=ocamlc
OCAMLOPT=ocamlopt
Expand Down Expand Up @@ -66,7 +66,7 @@ install::
if test -f dbm.cmxs; then cp dbm.cmxs $(LIBDIR)/; fi

clean::
rm -f *.cm* *.$(O) *.$(A) *.$(SO)
rm -f *.cm* *.$(O) *.$(A) *.$(SO) Makefile.config

testdbm.byte: dbm.cma testdbm.ml
$(OCAMLC) -o $@ dbm.cma testdbm.ml
Expand Down
4 changes: 0 additions & 4 deletions Makefile.config

This file was deleted.

0 comments on commit 29955d7

Please sign in to comment.