diff --git a/autotest-hhvm.sh b/autotest-hhvm.sh
deleted file mode 100755
index 6f3645c3aef2e71e019a1bb20860fcc63a40f734..0000000000000000000000000000000000000000
--- a/autotest-hhvm.sh
+++ /dev/null
@@ -1,3 +0,0 @@
-#!/bin/sh -e
-HERE=$(dirname "$0")
-PHP_EXE=hhvm "$HERE/autotest.sh" "$@"
diff --git a/build/files-checker.php b/build/files-checker.php
index 9fa84b58a2605f7e0498d9e794ab8d8bf65135c4..ba9761fe4d1b7b6144f8c48b130c560f01a4ff43 100644
--- a/build/files-checker.php
+++ b/build/files-checker.php
@@ -42,7 +42,6 @@ $expectedFiles = [
 	'AUTHORS',
 	'autotest-checkers.sh',
 	'autotest-external.sh',
-	'autotest-hhvm.sh',
 	'autotest-js.sh',
 	'autotest.sh',
 	'bower.json',