Remove obsolete top-level Makefile.
commitefa46565dbaa367d875be4fabefabdbcca529002
authorMathieu Boespflug <m@tweag.io>
dateSat 5 Sep 2015, 12:49 (11 years ago)
parent897f5ed
Makefiledeleted−6
@@ -1,6 +0,0 @@
1−
2−ifneq (,$(BASE_DIR))
3−include $(BASE_DIR)/build.mk
4−else
5−include ../build.mk
6−endif