diff --git a/coccinelle/Makefile.am b/coccinelle/Makefile.am
index a3c8b03d9..059f5df41 100644
--- a/coccinelle/Makefile.am
+++ b/coccinelle/Makefile.am
@@ -3,5 +3,3 @@
 EXTRA_DIST = exit.cocci \
 	     run-coccinelle.sh \
 	     while-true.cocci
-
-bin_SCRIPTS = run-coccinelle.sh