diff --git a/profiling/_oasis b/profiling/_oasis
deleted file mode 100644
index ae4677bb7..000000000
--- a/profiling/_oasis
+++ /dev/null
@@ -1,10 +0,0 @@
-
-# Support files for coverage profiling
-Library coverage
-  CompiledObject:     best
-  Path:               profiling
-  Findlibname:        coverage
-  Modules:            Coverage
-  BuildDepends: 
-
-