diff --git a/receiver b/receiver
index 489766782424ce04cc30c3d2df4747b3db4e06cf..c96ec4ba9013afba451e322fdcbe21cfc31b131e 100755
--- a/receiver
+++ b/receiver
@@ -1,3 +1,4 @@
 #!/bin/sh
 set -eu
 echo Dummy receiver script
+[ -f submodule/receiver ] || exit 1