[project @ 2003-08-18 15:45:07 by panne]
[ghc-hetmet.git] / glafp-utils / mk / opts.mk
diff --git a/glafp-utils/mk/opts.mk b/glafp-utils/mk/opts.mk
deleted file mode 100644 (file)
index 3cbdc96..0000000
+++ /dev/null
@@ -1,9 +0,0 @@
-#
-# glafp-utils options
-#
-
-#
-# msub'ing with the following
-#
-MSUB_OPTS += -f Makefile -f $(FPTOOLS_TOP)/mk/config.mk
-