X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Makefile.am;h=91218e14ace0b7cc97babb88452159d65c56d66a;hb=be86ea7aa98b87079e266c91d139612fa8543edd;hp=5e449d6d3adc71ce1b0084ebbdfd94eb7ff58fe9;hpb=b2df0225a3575e2a15cdf67adc4b2dd9656fed19;p=openvswitch

diff --git a/Makefile.am b/Makefile.am
index 5e449d6d..91218e14 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -82,6 +82,7 @@ EXTRA_DIST += \
 	soexpand.pl
 
 ro_c = echo '/* -*- mode: c; buffer-read-only: t -*- */'
+ro_shell = printf '\043 Generated automatically -- do not modify!    -*- buffer-read-only: t -*-\n'
 
 SUFFIXES += .in
 .in: