diff --git a/ctest b/ctest
deleted file mode 100644
index 9766475a4185a151dc9d56d614ffb9aaea3bfd42..0000000000000000000000000000000000000000
--- a/ctest
+++ /dev/null
@@ -1 +0,0 @@
-ok