diff options
Diffstat (limited to 'glafp-utils/mk/target.mk')
| -rw-r--r-- | glafp-utils/mk/target.mk | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/glafp-utils/mk/target.mk b/glafp-utils/mk/target.mk deleted file mode 100644 index a2ed36c3c9..0000000000 --- a/glafp-utils/mk/target.mk +++ /dev/null @@ -1,7 +0,0 @@ -# -# (c) The GHC Team 2000 -# - -TOP:=$(TOP)/.. -include $(TOP)/mk/target.mk -TOP:=$(GLAFP_UTILS_TOP) |