1 files changed, 1 insertions, 0 deletions
diff --git a/gnulib-tool b/gnulib-tool
index b6726452cd..d5c290267f 100755
--- a/gnulib-tool
+++ b/gnulib-tool
@@ -3883,6 +3883,7 @@ func_emit_tests_Makefile_am ()
   if ! $for_test; then
     echo "check_PROGRAMS ="
   fi
+  echo "EXTRA_PROGRAMS ="
   echo "noinst_HEADERS ="
   echo "noinst_LIBRARIES ="
   if $use_libtests; then